Home

The {log} (read setlog) project aims at the design and development of a Constraint Logic Programming language that embodies the fundamental forms of set designation and a number of primitive operations for set management.
Various new features have been added to the core part of the language since the initial development of {log}. Among them, basic facilities for representing and manipulating multisets, intervals of integers (integrating the CLP(FD) solver), binary relations, partial functions.
The {log} language can be used either as a stand-alone CLP language or as an addition to Prolog that allows to extend Prolog with set constraint management facilities. 

On May 2016, {log} has obtained the Artifact Evaluated Stamp issued by CAV 2016