Logic Programming Research



Embedding Finite Sets in a Logic Programming
Language: Theory and Implementation



Master Thesis

Author(s)
Enrico Pontelli,

Advisor
Prof. Lous Slothouber @ The University of Houston (Texas,USA)

Abstract


The whole paper can be downloaded from our server. 


 Logic Prog. Page   Research Page   Lab Home Page