La programmation logique est un paradigme de programmation informatique où les énoncés de programme expriment des faits et des règles sur des problèmes dans un système de logique formelle. Les règles sont écrites sous forme de clauses logiques avec une tête et un corps ; par exemple, « H est vrai si B1, B2 et B3 sont vrais. » Les faits sont exprimés de manière similaire aux règles, mais sans corps ; par exemple, « H est vrai. »
Certains langages de programmation logique, tels que Datalog et ASP (Answer Set Programming), sont purement déclaratifs. Ils permettent des déclarations sur ce que le programme doit accomplir, sans instructions explicites étape par étape sur la façon de le faire. D’autres, comme Prolog, sont une combinaison de déclaratif et d’impératif. Ils peuvent également inclure des énoncés procéduraux, tels que « Pour résoudre H, résoudre B1, B2 et B3. »
Langages utilisés pour la programmation logique
- Absys
- ALF (langage de programmation fonctionnelle logique algébrique).
- Débogage de programmes algorithmiques
- Alice
- Alma-…0
- ASP (Answer Set Programming)
- CHIP
- Ciao
- CLACL
- CycL
- Datalog
- Datomic
- DLV
- ECLiPSe
- F-logique
- Flora2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- Janus
- ΛProlog
- Logtalk
- Système de Maude
- Mercury
- MetaL
- Système de programmation Mozart
- Oz
- Parlog
- Planner
- PROGOL
- Prolog
- Prolog++
- Prova
- .QL
- Rebeca Modeling Language
- ROOP
- SICStus Prolog
- SWI-.Prolog
- ToonTalk
- Logique de transaction
- Twelf
- Prologue visuel
- XSB
Langage, logique, apprentissage automatique, paradigme, termes de programmation
.