Question

1.What does the query noFriend(john) return for the following Prolog program?
noFriend(X) :- not(friend(X,Y)).
friend(dev,bob).
friend(bob,johny).
friend(dev,johny).

Answer 1

Given Query is:

noFriend(X):not(friend(X,Y)).

friend(dev,bob)

friend(bob,johny).

friend(dev,johny).

The given program Program returns "False".

Hope it helps!