82 pages matching term in this book
Results 1-3 of 82
What people are saying - Write a review
We haven't found any reviews in the usual places.
Logic Equations and Functions
A Theory of Modules Based on SecondOrder Logic
41 other sections not shown
abstract interpretation abstract substitution algorithm AND-parallel annotated answer applied arguments atom Backtrack Literal binding branch call pattern choice point comp(P compiler Computer Science conservative extension construction contains coroutine corresponding current solutions data structures database deduction defined definition denote efficient element equations evaluation example execution fails failure finite fixpoint functional programming functor goal grams Herbrand Herbrand base Herbrand universe Horn clause implementation inference input instantiated layered stream least fixpoint Logic Programming machine method module negation as failure negation by constraints node operation operational semantics optimization OR-parallel output overhead parallel possible postcondition predicate symbol problem Proc procedure processor programming language Prolog programs proof q-clause query recursive redo relation reset restricted rule search-tree selection semantics sequence sequential side-effect sloppy SPELP stack strategy subgoals term termination theorem tion transformation tree tuples unification unifier variable witness set