##  [Programmation Logique](/fr/node/60985) 

  ##  [Programmation Logique](https://mathlogic.quantumdictionary.io/fr/node/60986) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.