Logic Programming: Proceedings of the 1998 Joint International Conference and Symposium on Logic ProgrammingJoxan Jaffar Includes tutorials, lectures, and refereed papers on all aspects of logic programming, The Joint International Conference and Symposium on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet. |
Contents
At the Intersection of Operations | 5 |
N Lavrač | 21 |
On the Representation and Management of Finite Sets in CLP Languages | 40 |
Metalinear Constraints in Constraint Logic Programming | 55 |
P Refalo | 68 |
K Shen V Santos Costa and A King | 99 |
ProofTheoretic Foundation of Compilation in Logic Progamming | 115 |
Abstract Compilation of Prolog | 130 |
Program Specialisation and Abstract Interpretation Reconciled | 220 |
Leuschel | 234 |
S Decorte and D De Schreye | 249 |
Iterated Logic Program Updates | 265 |
J A Leite and L M Pereira | 278 |
Greedy Algorithms in Datalog with Choice and Negation | 294 |
309 | |
P Rao C R Ramakrishnan and I V Ramakrishnan | 323 |
Efficient Implementation of a Linear Logic Programming Language | 145 |
Normal Forms for Defeasible Logic | 160 |
Regular Extension Semantics and Disjunctive Eshghi Kowalski | 175 |
Beyond Success and Failure | 190 |
Sourcetosource Prolog Program Compression | 205 |
Common terms and phrases
abductive abstract conjunctions abstract interpretation algorithm analysis answer table applied arity CGES choice compilation complete Computer Science Consider Constraint Logic Programming database Datalog defeasible logic defeasible theory defined Definition denote derivation disjunctive programs domain evaluation Example execution expressed extended extension semantics finite fixpoint g₁ goal graph rewriting Harrop formulas ho_disj ho_iff Horn logic implementation incomplete tables Inductive Logic Programming instantiated level mapping linear constraints linear logic literal node normal form notion operator P,U>-justified updates pacifist parallel partial deduction predicate problem procedure program clause program specialisation programming languages Prolog programs proof tree propagation query result rule scheduling strategies selected semantics SLD-tree solution stable model step subgoal superiority relation symbol t₁ tabled resolution techniques termination analysis Theorem tion transformation tree automaton true tuples unfolding unifier update program variables VisAll