SET THEORY FOR COMPUTING

SET THEORY FOR COMPUTING
From decision procedures to declarative programming with sets

Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti

Table of contents
Selected exercises solved
Additional exercises
Programs

SETL2 programs
SWI-Prolog programs

Metamorpho system

{log}/CLP(sets) programs

Bibliographic reference update
Relevant links

Decision algorithms for fragments of set theory
Logic programming with sets

Calculus of dyadic relations

COST Action no. 274 (TARSKI)
Metamorpho system

Nonclassic logics
SETL programming systems
Monographs in Computer Science Series of Springer-Verlag

Errata list (misprints)

Please contact us in order to
    - make comments and suggestions
    - propose solutions to exercises
    - raise questions and challenges

You can order this book through

Last modified Nov 3, 2003