# 10. ICLP 1993:
Workshop on Logic Programming with Sets

Eugenio G. Omodeo,
Gianfranco Rossi (Organizers):
Workshop on Logic Programming with Sets,
June 24, 1993,
in conjunction with
ICLP 1993,
June 21 - 24, 1993, Budapest, Hungary
## Constraint Logic Programming With Sets

## Set Unification

## Implementing Sets in Prolog

## Sets in Database Languages

## Other Approaches

- Ernst-Erich Doberkat:
Prototyping Through Lindenbaum Algebras.
0-
- Michal Walicki,
Sigurd Medal:
Sets and Nondeterminism.
0-
- D. Cantone,
R. Ruggieri Cannata:
Proving Set-Theoretic Formulae by a Tableaux Method.
0-
- George K. Tsiknis:
Adding Abstraction to Logic Programming. The Logistic Approach.
0-
- Paul Broome:
Proofs about Programs in Classical Set Theory.
0-

Copyright © Sat May 16 23:20:24 2009
by Michael Ley (ley@uni-trier.de)