Logic Programming

Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 ProceedingsAuthor: Philippe Codognet Published by Springer Berlin Heidelberg ISBN: 978-3-540-42935-7 DOI: 10.1007/3-540-45635-XTable of Contents:Solving the Multiplication Constraint in Several Approximation Spaces
Is Logic Really Dead or Only Just Sleeping?
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations
X-tegration — Some Cross-Enterprise Thoughts
Building Real-Life Applications with Prolog
Natural Language Tabular Parsing
A Close Look at Constraint-Based Concurrency
Probabilistic Databases and Logic Programming
Understanding Memory Management in Prolog Systems
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures
On a Tabling Engine That Can Exploit Or-Parallelism
Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family
Optimizing Compilation of Constraint Handling Rules
Building Constraint Solvers with HAL
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
Positive Boolean Functions as Multiheaded Clauses
Higher-Precision Groundness Analysis
Speculative Beats Conservative Justification
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives