Premium
JSetL: a Java library for supporting declarative programming in Java
Author(s) -
Rossi G.,
Panegai E.,
Poleo E.
Publication year - 2007
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.749
Subject(s) - programming language , computer science , java , declarative programming , real time java , generics in java , logic programming , unification , java annotation , scala , inductive programming , programming paradigm
In this paper we present a Java library—called JSetL—that offers a number of facilities to support declarative programming such as those usually found in logic or functional declarative languages: logical variables, list and set data structures (possibly partially specified), unification and constraint solving over sets, non‐determinism. The paper describes the main features of JSetL and it shows, through a number of simple examples, how these features can be exploited to support a real declarative programming style in Java. Copyright © 2006 John Wiley & Sons, Ltd.