Et nonprocedural språk som tillater brukeren å erklære et sett av fakta og å uttrykke spørringer eller problemer som bruker disse fakta.