Most logic programming systems restrict themselves to a particular subset of predicate calculus called ____.
A) axiomatic clauses
B) algorithms
C) Horn clauses
D) control clauses

Question

Quizplus · Accepted Answer

Horn clauses are a subset of predicate calculus that are commonly used in logic programming systems such as Prolog. The main characteristic of Horn clauses is that they have at most one positive literal (i.e. an atom that is true) in the head of the clause, and all other literals must be negated (i.e. false). This makes them particularly suitable for encoding knowledge bases and reasoning about them efficiently. Axiomatic clauses, algorithms, and control clauses are not common subsets of predicate calculus used in logic programming systems.

Most Logic Programming Systems Restrict Themselves to a Particular Subset