Logic Programming: Proceedings of the The 7th International Conference
David H. D. Warren, Peter Szeredi
MIT Press, May 22, 1990 - Logic programming - 808 pages
JUNE 18-22, 1990, JERUSALEM, ISRAEL
Applications. Implementation. Machines. Programming Methodology and Tools. Theory and Foundations. Deductive Databases. Languages. Parallel Execution. Relations with Artificial Intelligence.
What people are saying - Write a review
We haven't found any reviews in the usual places.
A Detection Algorithm of Perpetual Suspension in KL1
Yu Inamura and Satoshi Onishi
12 other sections not shown
Other editions - View all
3-valued stable abstract interpretation acyclic programs algorithm analysis AND-parallel Andorra answer set applied architecture argument atom attribute grammar backtracking basic bindings choice point compiler concurrent consider construction contains context corresponding database debugger Deductive Databases defined definition denote derivation described disjunctive efficient equations evaluation example expression finite first-order logic fixpoint formal formula framework function garbage collection given goal graph Harrop formulas Herbrand higher-order Horn clauses implementation input instantiated instruction integrity constraints intensional update justifications label Lemma linear literal mode model semantics negation node occur operational semantics operations optimization paper parallel execution performance predicate problem Proc procedure processor programming languages Prolog proof Przymusinski query recursive RISC rule sequential shared variable solution specific stable model stable model semantics structure subset substitution symbols technique termination theorem tion transformation tree unification unify well-founded well-founded semantics