## Logic Programming: Proceedings of the 1994 International SymposiumNovember 13-17, 1994, Ithaca, New YorkThe 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurrency and parallelism, deductive databases, implementations and architectures, metaprogramming and higher-order programming, proof theory, and semantic analysis. Logic Programming series, Research Reports and Notes |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Abstract Interpretation and Partial Evaluation in Functional and Logic | 17 |

Combining Functional and Logic Programming Languages | 43 |

Signed Logic Programs | 61 |

Copyright | |

5 other sections not shown

### Common terms and phrases

abstract domain abstract interpretation abstract sequences algorithm analysis answer set applied argument arithmetic atom backtracking belief revision bottom-up bound choice point clause compiler complete Computer Science concrete consider consistent constraint logic programming constraint system Datalog deductive databases defined definition denoted derivation disequation disjunctive efficient equation evaluation event calculus example execution expression extended finite fixpoint formula framework function given global goal graph ground Harrop formulas implementation inequalities inference input integer interval iteration least fixpoint left recursion Lemma linear literal LSign monotonic negation node nondisjunctive obtained operation operational semantics optimizations paper parallel predicate problem Proc procedure Programming Languages Prolog proof properties query recursive relation resolution resp rewrite rule Section semantics situation calculus SLG-WAM solution solver solving stack strategy stratified subgoal symbols techniques termination Theorem theory tion transformation tuples unification variables well-founded well-founded semantics