Logic Programming Research

Compiling Intensional Sets in a CLP Language

in Proceedings of the 11th International Conference on Logic Programming (ICLP94), MIT Press, June 94.

P. Bruscoli @ the University of Salerno (Italy),
Agostino Dovier @ the University of Pisa (Italy),
Eugenio G. Omodeo @ the University of Salerno (Italy),
Enrico Pontelli,
GianFranco Rossi @ the University of Parma (Italy)


The whole paper can be downloaded from our server.

Logic Prog. Page Research Page Lab Home Page