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 ]