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