Declarative Programming with Intensional Sets in Java Using JSetL

Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi

Intensional sets are sets given by a property rather than by enumerating their elements. In previous work, we have proposed a decision procedure for a first-order logic language wh…