|
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 intervals (integrating the CLP(FD) solver),
binary relations, partial functions, Cartesian products and restricted intensional sets.
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.
|
using {log}
current
releases
programming examples
applications
empirical evaluations
user's manual and papers
people
|
Download the {log} interpreter (file setlog.pl) along
with its related additional files (setlog_rules.pl, size_solver.pl,
setlog_tc.pl), and save them into the same directory.
To start working with the interpreter, invoke
Prolog and then load the {log} interpreter, e.g., by giving the
directive ?-consult(setlog).
Use the Prolog goal setlog_help or the {log} goal help to get general help information. The current version of {log} requires SWI-Prolog version 8.4.2 or newer. |
|
|
|