LICS-TUTORIAL-3

NAME:SHASHANK AGRAWAL
ID:2020A7PS0073P
Question 1.)
Question 2.)

Question 3.)

Question 4.)

Though the declarative meaning of both of the predicate functions is the same their procedural
meaning is different.

The second predicate result in an "Out of local stack" exception as Prolog recursively attempts to
find a Z satisfying the conditions.
Question 5.)

Question 6.)