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.

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


The whole paper can be downloaded from our server. 


 Logic Prog. Page   Research Page   Lab Home Page