Chapter 16 of Concept of Programming Languages

Review Questions : 

2.What are the two parts of a compound term?
A compound term is composed of two parts, a functor and an ordered list of parameter

5. What are the antecedents? Consequent?
 The right side of a clausal form proposition is called the antecendent. The left side is called the consequent because it is the consequence of the truth antecendent

7. What are the forms of Horn clauses?
 Horn clauses can be in only two forms: they have either a single atomic proposition on the left side or an empty left side.

8. What is the basis concept of declarative semantics?
 The basic concept of this semantics is that 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

10. What are the three forms of a Prolog term?
 A prolog term is a constant, a variable, or a structure

11. What is an uninstantiated variable?
 A variable that has not been assigned a value is called uninstantiated
 
Problem Set :


1. ”All predicate calculus propositions can be algorithmically converted to clausal form”. Is this 
statement true or false? Explain
 The statement is true. this was proven by Nilsson (1971) by using a simple conversion algorithm

2. Describe how a logic programming language is different from a general programming language
  Logical programming language uses a form of symbolic logic, the syntax of logic programming logic is remarkably different from that of the imperative and functional languages.