Programarea logică este o paradigmă de programare a calculatoarelor în care declarațiile de program exprimă fapte și reguli despre probleme în cadrul unui sistem de logică formală. Regulile sunt scrise sub formă de clauze logice cu un cap și un corp; de exemplu, „H este adevărat dacă B1, B2 și B3 sunt adevărate”. Faptele sunt exprimate în mod similar cu regulile, dar fără corp; de exemplu, „H este adevărat.”
Câteva limbaje de programare logică, cum ar fi Datalog și ASP (Answer Set Programming), sunt pur declarative. Ele permit declarații despre ceea ce ar trebui să realizeze programul, fără instrucțiuni explicite, pas cu pas, despre cum să facă acest lucru. Altele, precum Prolog, sunt o combinație de declarativ și imperativ. Ele pot include, de asemenea, declarații procedurale, cum ar fi „Pentru a rezolva H, rezolvați B1, B2 și B3.”
Limbaje utilizate pentru programarea logică
- Absys
- ALF (limbaj de programare funcțională logică algebrică).
- Depanarea programelor algoritmice
- Alice
- Alma-.0
- ASP (Answer Set Programming)
- CHIP
- Ciao
- CLACL
- CycL
- Datalog
- Datomic
- DLV
- ECLiPSe
- F-.logic
- Flora-2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- Janus
- ΛProlog
- Logtalk
- Sistemul Maude
- Mercury
- Mercury
- MetaL
- Sistem de programare Mozart
- Oz
- Parlog
- Planner
- PROGOL
- Prolog
- Prolog++
- Prova
- .QL
- Rebeca Modeling Language
- ROOP
- SICStus Prolog
- SWI-.Prolog
- ToonTalk
- Logica tranzacțiilor
- Twelf
- Visual Prolog
- XSB
.
Limbaj, Logică, Învățare automată, Paradigmă, Termeni de programare
.