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.
[ Category Concept ]