Nonprocedural kieli, joka mahdollistaa käyttäjä ilmoittaa joukko seikkoja ja ilmaista kyselyt tai ongelmia, jotka käyttävät näitä tosiasioita.