Learning Pilog -3: Unification and Proof Search

In the last post, we have seen how we can create a knowledge base and run queries on it. Today we will try to understand how Prolog…