Logic Programming Research

Embedding Finite Sets in a Logic Programming Language

in Proc. of the 3rd International Workshop on Extensions of Logic Programming, Springer Verlag, February 92, Bologna, 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