What people are saying - Write a review
We haven't found any reviews in the usual places.
Efficient Implementation of a Defensible Semantics
Relating GoalScheduling Precedence and Memory
Freeze Indexing and Other Implementation Issues
24 other sections not shown
Other editions - View all
Abstract algorithm answer applications argument assert backtracking binding block body bound cell checking choice clause compiler complete Computer consider consists constant constraints contains corresponding data structure database defined definition derived described dynamic efficient element empty environment evaluation example execution exists expression extended fact fail Figure forward function given goal ground head implementation instantiated instruction interpreter introduced knowledge base language Logic Programming machine memory method minimal mode node Note operations otherwise packet parallel path performance possible predicate problem procedure processor Prolog proof query queue record recursive reduced reference registers relation represented resolution rule semantics sequence shared shows solution solved stack structure suspended symbols Table termination theory tree true unification unify updates variables VIEWPOINT