{log}:
A Constraint Logic Programming Language with Sets
Project coordinator: Gianfranco Rossi, Università di
Parma
Startdate: 1994
Project description: see the {log}
Home Page.
Declarative Programming with Set and
Multiset Constraints
Part of the National project:
"Automatic Aggregate - and number-reasoning
for computing: from decision algorithms to constraint
programming with multisets, sets, and maps" National project coordinator: Domenico
Cantone, Università di Catania
Local project coordinator: Gianfranco Rossi, Università
di Parma
Startdate: November 2001
Project description: see the global project home
pageand the local project home
page.
JSetL:
a Java Library for Supporting Declarative Programming in Java
Project coordinator: Gianfranco Rossi, Università di
Parma
Startdate: 2003
Project description: see the JSetL
Home Page.