**Review Questions**

1. Symbolic logic can be used for the three basic needs of formal logic : to express propositions, to express the relationships between propositions and to describe how new propositions can be inferred from other propositions that are assumed to be true

2. Functor and an ordered list of parameters

3. Propositions can be started in two modes : one in which the proposition is defined to be true and one in which the truth of the proposition is something that is to be determined.

4. The general clausal form of proposition :

B1 U B2 U ... U Bn ⊂ A1 ∩ A2 ∩ ... ∩ An

5. Antecedent is the right side of a clausal form proposition. The left side is consequent

7. Horn clauses can be in only two forms : single atomic proposition on the left side or right side

8. Basic concept of declarative semantics is there is a simple way to determine the meaning of each statement, and it does not depend on how the statement might be used to solve a problem

**Problem Set**

2. Declarative semantics is considerably simpler than the semantics of the imperative language. Programming in a logic programming language is nonprocedural

10. One of the most widely known uses of logic programming in expert systems is the expert system construction system known as APES. The APES system includes a very flexible facility for gathering information from the user during expert system construction.