logique des prédicats + déduction, clauses de Horn, Prolog, Datalog, ? ... Prolog
. «Programme» Prolog ( = Théorie logique). ? faits. ? règles. ? question. La
question est-elle ..... Les personnes qui ont un livre en retard n'ont accès qu'aux
serives de base de la bibliothèque. ... en_retard('J. Vai', 'Le grand tout'). G.
Falquet, CUI ... 
