• Interpreter and libraries

• Interpreter and libraries

• The {log} interpreter 4.5 (for SICStus Prolog, using the clpfd library):
extends version 4.3 with constraints over lists and finite domains;
refer to this paper for a general presentation of the combination of set and finite domain constraints;
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 this version.
• The {log} library file (version 4.5)

Version 4.3

• The {log} interpreter 4.3 (for standard Prolog systems - e.g., SWI-Prolog):
provides various enhancements over version 4.2;
see here for a quick overview of the main features of this version.
• The {log} library file (version 4.3):
provides basic set-theoretic operations that are not supplied as primitive constraints by the language

Version 4.2

• The {log} interpreter (version 4.2):
extends version 3.4 with multisets;
refer to this paper for a general presentation of the multiest extension.
• Prolog to {log} interface
• The {log} library file (version 4.2)

• The {log} interpreter (version 3.4):
extends version 3.3 with union and disjointness constraints;
refer to this paper for a general presentation of this version of the language.
• Prolog to {log} interface
• The {log} library file (version 3.4)

• The {log} interpreter (version 3.3)
refer to this paper for a general presentation of this version of the language.
• The {log} library file (version 3.3):
• The {log} user manual (version 3.3)