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] ]]