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