Logic programming is a programming paradigm that is based on formal logic. In this paradigm, programs are expressed in terms of relations, represented as facts and rules, rather than through imperative commands that explicitly detail a sequence of operations. The central concept in logic programming is that of a logical statement, which can be expressed in terms of predicates and logical connectives.
Articles by others on the same topic
There are currently no matching articles.