Releases

The {log} interpreter

  • {log} version 4.9.1 (last update, April 2016)
    • refer to this paper for a general presentation of the first version of {log};
    • refer to this paper for a general presentation of the combination of constraints over sets, multisets and lists;
    • see here for a quick overview of the main features of {log} 4.9.1.
  • {log} version 4.9.5-22 including Restricted Intensional Sets and Cartesian Products (beta version) (last update, June 2018)

{log} library files (save them into the same directory as ‘setlog.pl’)

  • setloglib.slog provides basic set-theoretic operations that are not supplied as constraints by the language
  • setloglibpf.slog provides basic operations on partial functions that are not supplied as constraints by the language
  • setloglibTPTP.slog provides operations on sets, binary relations and partial functions that are useful for dealing with problems from the TPTP library
  • setlog_rules.pl provides a number of simple preprocessing rules (“filtering rules”) that may help constraint solving (older version for setlog4.8.3)

An empirical evaluation of {log} version 4.9.1 (including binary relations): a document describing the evaluation; experimental data