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...
picolisp-explored.com5 min read
Fabian
If I use the the crossword example, downloaded from the repository, with pil21 I get 6 possible solutions and not two.