Home |
People |
Projects |
Publications |
Seminars |
Software |
Links |
{log} User's Manual - Version 3.3 (TR)
Gianfranco RossiAbstract
This is the first edition of the user's manual for {log}, a Constraint Logic Programming language that embodies the fundamental forms of set designation and a number of primitive operations for set management. The {log} interpreter is written in SICStus Prolog and it is based on the prototype developed at the University of Udine by Agostino Dovier and Enrico Pontelli. The full Prolog code of the {log} interpreter is available at the {log} WEB page .
Available: 600 DPI PostScript, BibTeX entry.
[Page last updated on January 29, 2002, 12:44:10.]
Enea Zaffanella
Home | People | Projects | Publications | Seminars | Software | Links