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