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