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 computes the result of a query. This chapter is based on this Prolog tutorial. What is Unification? Let's check the d...
Nov 4, 20215 min read462
