Prolog

What is the full form of PROLOG?

• Programming Logical

• Programming in Logic

• Predicate Logic

• Propositional Logic

PROLOG is a declarative language

• TRUE

• FALSE

male(tor).

In this case, male is a ______

• fact

• atom

• rule

• query

male(tor).

In this case, tor is a ______

• fact

• atom

• rule

• query

male(Who)

In this case, Who is a _______

• fact

• atom

• rule

• variable

?-male(tor).

In this case, ?-male(tor) is a ______

• fact

• variable

• rule

• query

grandfather(X, Y): -- father(X, Z), father(Z, Y).

In this case, grandfather is a ______

• fact

• variable

• rule

• query

Which of the following is NOT valid prolog atom?

• f

• 'Hello'

• Hello

• <----+---->

Which of the following is NOT valid prolog variable?

• Paul

• a_123

• _123

• H

What would the output of the following Prolog query be?

?- f(a,b) = f(Y,X).

• X=b. Y=a.

• This expression will not compile

• X=a. Y=b.

• X=X. Y=Y.