Programmation Logique

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un paradigme de programmation et de raisonnement où les programmes sont exprimés par des ensembles de clauses logiques et où l'exécution procède par recherche dirigée de preuves, utilisant typiquement unification et retour arrière pour trouver des dérivations satisfaisant des buts.