Et nonprocedural sprog, der tillader brugeren at erklære et sæt af fakta og give udtryk for forespørgsler eller problemer med at bruger disse fakta.