Logic Programming

Back: Programming Paradigms

Programs are expressed as sets of logical rules and facts. An inference engine derives conclusions from these declarations, allowing the programmer to specify what should be computed rather than how.

Concepts

• Declarative Rules
• Unification
• Backtracking Search
• Logic Programming Applications

---

programming-paradigms logic