This version of Learn Prolog Now! embeds SWI SH , SWI-Prolog for SHaring. The current version rewrites the Learn Prolog Now! HTML on the fly, recognising source code and example queries. It is not yet good at recognising the relations between source code fragments and queries. Also Learn Prolog Now! needs some updating to be more compatible with SWI-Prolog. All sources are on GitHub:
LearnPrologNow LPN SWISH Proxy SWISH

Chapter 2
Unification and Proof Search

This chapter has two main goals:

  1. To discuss unification in Prolog, and to explain how Prolog unification differs from standard unification. Along the way, we’ll introduce =/2 , the built-in predicate for Prolog unification, and unify _with _occurs _check/2 , the built-in predicate for standard unification.
  2. To explain the search strategy Prolog uses when it tries to deduce new information from old using modus ponens.

eXTReMe Tracker
© 2006-2012 Patrick Blackburn, Johan Bos, Kristina Striegnitz