By:
On:
In: Quick Answer
With: 0 Comments

parent(emma, robert). parent(A, B) :- father(A, B). parent(A, B) :- mother(A, B). father(kevin, mary). mother(anne, mary). What is predicate logic in Prolog? Prolog is a programming language based on predicate logic. … In the process of proving the goal to be true, using substitution and the other rules of inference,Read More →