Choice points

Wiki: Choice points

Note: This is a work in progress. When it is complete these notes will be removed.

Note: Do not reply to this topic, questions, concerns, comments, etc. are to handled in
Wiki Discussion: Choice points

Note: This is just to get the topic started and hopefully others to jump in and make this useful. Even if you are brand new to Prolog, this is such a basic and fundamental concept that you can and should join in to help improve the value of this Wiki. Join the discussion at Wiki Discussion: Choice points

Note: This is a wiki and if you have Trust level: Basic you can edit this by clicking on the pencil icon in the lower right. Capture
These topics also have history so they can be rolled-back if needed.

From Learn Prolog Now! Proof Search

Box Model

Derivation Tree

In: Prolog Programming in Depth by
Michael A. Covington, Donald Nute and Andre Vellino - Section: 1.6 Backtracking - Page: 10