Solved

In the Horn Clause A₁ and A₂ and A₃ →

Question 17

Multiple Choice

In the Horn clause a₁ and a₂ and a₃ → b,the portion a₁ and a₂ and a₃ is called the ____.

A) head
B) body
C) tail
D) query

Related Questions

Q12: In Prolog,you can specify the head and

Q13: Every logical statement can be turned into

Q14: To force evaluation of an arithmetic term

Q15: The semantics of programming language constructs is

Q16: Horn clauses can be viewed as specifications

Q18: Most Prolog systems are run as interpreters,not

Q19: The existential quantifier is used to represent

Q20: Horn clauses cannot be given a procedural

Q21: In predicate calculus,arguments to predicates and functions

Q22: Logic programming systems are sometimes referred to