Nonprocedural kieli, joka sallii käyttäjän säännöt ja kyselyt tai ongelmia, jotka käyttävät näitä sääntöjä.