Un langage non procédural qui permet à l'utilisateur d'indiquer un ensemble de règles et d'exprimer des demandes ou problèmes qui utilisent ces règles.