NextPrevUpTopContentsIndex

C.2.3 The Binding Trail

The variable binding trail for the backward chainer is stored in a simple vector but may overflow into list structure if the trail grows larger than the size of the vector: (30000). The system will continue to function normally when this happens but may slow down slightly and do more consing. (Note: We have never written a program that causes this to happen other than deliberately produced testing programs).

 


KnowledgeWorks and Prolog User Guide (Unix version) - 29 Feb 2008

NextPrevUpTopContentsIndex