Nondeterministic Programming in Java with JSetL
Gianfranco Rossi, Federico Bergenti · Fundamenta Informaticae · 2015
JSetL is a Java library that endows Java with a number of facilities that are intended to support declarative and constraint (logic) programming. In this paper we show how JSetL can be used to support general forms of nondeterministic programming in