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
25 other sections not shown
Other editions - View all
Abstract Machine algorithm answer architecture argument arity atom backtracking binding block choice point compiler constraints contains coroutining data structure Database Systems Deductive Databases defined definition denote disjunctive dynamic code EBOX efficient empty evaluation example execution fail FGHC finite forward checking goal record hash tables Horn clause ICOT implementation input instantiated instruction set interpreter knowledge base lemma logic programming languages memory metacall microcode minimagic minimal model mode negation as failure node operations packet parallel PARLOG performance pointer predicate predicate symbol primitives problem Proc procedure processor programming language Prolog Prolog program proof query queue recursive reduced reference paths registers rewrite rule Section semantics sequence sequential SLD resolution SLD-AL solution solved stack stratification stratum subgoal subset suspended theory tree tuples unification unify updates variable cell VIEWPOINT Warren Warren Abstract Machine