## Logic Programming: Proceedings of the Tenth International Conference on Logic ProgrammingThe Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook.Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques. |

### What people are saying - Write a review

### Contents

Hybrid Systems and Constraint Logic Programming | 18 |

Pascal Brisset Olivier Ridoux | 44 |

Databases | 60 |

Thorne McCarty | 64 |

Analysis of Nonlinear Constraints in CLPS? | 83 |

Freeness Analysis in the Presence of Numerical Constraints | 100 |

Freeness Analysis for Logic Programsand Correctness? | 116 |

Scheduling Speculative Work in OrParallel Prolog Systems | 135 |

An Incompleteness Result for Deductive Synthesis of Logic Programs | 456 |

Control Generation for Logic Programs | 478 |

Variable Elimination for Generalized Linear Constraints | 499 |

Boolean Pseudoequations in Constraint Logic Programming | 517 |

Solving Linear Diophantine Constraints Incrementally | 532 |

A CLP Language Handling Disjunctions of Linear Constraints | 550 |

A Monotonicity Theorem for Extended Logic Programs | 567 |

A Semantics for Eshghi and Kowalskis Abductive Procedure | 586 |

Performance of the CompilerBased AndorraI System | 150 |

Implementing Dynamic Dependent AndParallelism | 167 |

Some Paradigms for Visualizing Parallel Execution of Logic Programs | 184 |

A Case for the Situation | 203 |

Representing Actions in Logic Programming and Its Applications | 222 |

Temporal Logic Programming with Bounded Universal Modality Goals | 239 |

Transaction Logic Programming | 257 |

The Language and Its Implementation | 283 |

Definition Operational Semantics and Implementation | 299 |

Data OrParallel Logic Programming | 314 |

Transforming Abductive Logic Programs to Disjunctive Programs | 335 |

A Formalization of Metaprogramming for Real | 354 |

A New Fixpoint Semantics for Prolog | 374 |

On Copy Avoidance in Single Assignment Languages | 393 |

Findall without Findall3 | 408 |

Extracting Determinacy in Logic Programs | 424 |

MiddleOut Reasoning for Logic Program Synthesis | 441 |

Optative Reasoning with Scenario Semantics | 601 |

An Argumentation Semantics for Logic Programming with Explicit | 616 |

Memory Management of Constraints in Flang | 633 |

Automatic Frequency Assignment for Cellular Telephones Using | 647 |

Analysis Based Constraint Query Optimization | 666 |

Constraint Propagation for Linear Recursive Rules | 683 |

Negation in Disjunctive Logic Programs | 703 |

Proving Termination of GHC Programs | 720 |

A Logic Programming View of CLP | 737 |

Performance Evaluation of Monaco Compiler and Runtime Kernel | 757 |

A Minimal Extension of the WAM for c Ip FD | 774 |

The Underlying Search for Magic Templates and Tabulation | 793 |

Semantics and Consistency of Empirical Databases | 812 |

The SQL Interface of MProlog | 829 |

Optimum Flight Planning System for Aerodrome Zone | 842 |

Contribution of Logic Programming to Support Telecommunications | 845 |