Colloquium on Implementation of Constraint and LOgic Programming Systems

Workshop Program
October 5, 2005

Opening: 14:05-14:15

Session 1: 14:15-16:15

The Implementation of Minimal Model Tabling in Mercury
Zoltan Somogyi and Konstantinos Sagonas

Pruning Extensional Predicates in Deductive Databases
Tiago Soares, Ricardo Rocha and Michel Ferreira

Functional Notation and Lazy Evaluation in Ciao
Amadeo Casas, Daniel Cabeza and Manuel Hermenegildo

Views and Iterators for Generic Constraint Implementations
Christian Schulte and Guido Tack

Session 2: 16:40-17:40

Closures for Closed Module Systems
Rémy Haemmerlé and François Fages

Speeding up constrained path solvers with a reachability propagator
Luis Quesada, Peter Van Roy,Yves Deville