For the following two questions, consider this Prolog program:
person(mary).
person(john).
girl(mary).
boy(john).
Extracted text: Write the prolog Program in Clause Normal Form (CNF).Extracted text: During the process of answering the previous query (?- person(X), \+ girl(X).), did X unified with "john" at some point? True False
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here