## Logic Programming: Proceedings of the The 7th International ConferenceJUNE 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.

### Contents

A Detection Algorithm of Perpetual Suspension in KL1 | 18 |

Yu Inamura and Satoshi Onishi | 31 |

A Performance | 49 |

Copyright | |

12 other sections not shown

### Other editions - View all

### Common terms and phrases

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