... only)1
This used to be the case up to version 2.4, but has not been verified for version 2.5.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... interpretations2
Only with the SICStus 3.0 version of Saturate .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

Imprint | Data Protection