A form of declarative programming in which a description of the problem is formulated as a set of logical clauses. Prolog is the most wide-spread logic programming language.

For some more details, see Playing Prolog.

---

[ Category Concept ]