Et nonprocedural språk som tillater brukeren å si et sett med regler og å uttrykke spørringer eller problemer som bruker disse reglene.