Logic Programming: Proceedings of the 1994 International Symposium
MIT Press, 1994 - Computers - 690 pages
November 13-17, 1994, Ithaca, New York
The 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.
Abstract Interpretation and Partial Evaluation in Functional and Logic
Combining Functional and Logic Programming Languages
Signed Logic Programs
5 other sections not shown
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