## Logic Programming: Proceedings of the 1998 Joint International Conference and Symposium on Logic ProgrammingThe 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. |

### What people are saying - Write a review

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

### Contents

Inductive Logic Programming for Relational Knowledge Discovery | 7 |

Codefinite Set Constraints with Membership Expressions | 25 |

On the Representation and Management of Finite Sets in CLP Languages | 40 |

Metalinear Constraints in Constraint Logic Programming | 55 |

P Refalo | 68 |

A New Metric for Controlling Granularity for Parallel Execution | 85 |

K Shen V Santos Costa and A King | 99 |

ProofTheoretic Foundation of Compilation in Logic Progamming | 115 |

Sourcetosource Prolog Program Compression | 205 |

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 | |

Abstract Compilation of Prolog | 131 |

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 |

Admissible Graph Rewriting and Narrowing | 325 |

R Echahed and JC Janodet | 339 |

Applications of Abductive Logic Programming | 343 |

Horn Logic Denotations | 357 |

### Common terms and phrases

abductive abstract conjunctions abstract interpretation algorithm analysis answer table applied CGEs choice compilation compile-time complete Computer Science consider Constraint Logic Programming database Datalog defeasible logic defined Definition denote derivation disequation disjunctive programs domain entailment evaluation Example expression extended extension semantics finite fixpoint formulas function goal granularity control graph rewriting Harrop formulas ho.iff Horn logic implementation induction Inductive Logic Programming instantiated level mapping linear constraints linear logic literal logic programming languages minimal node norm normal form notion obtained operator overheads P,U>-justified updates parallel execution partial deduction performance predicate problem Proc procedure programming languages Prolog programs proof tree propagation query rules run-time scheduling strategies selected semantics set constraints solution solver solving stable model subgoal symbol tabled resolution techniques Theorem tion transformation tree automaton tuple unification unifier update program variables VisAll visualisation