On Mon, 17 Jan 2005, Bart Demoen wrote:
>
> > Mode declarations? Is this a CHR-only thing, or is it connected to the
> > rest of SWI?
>
> Only CHR.
Indeed, only for CHR. Currently they are not checked, but used exclusively
for optimization: small benchmarks show speed-ups of 200% - 400% for
constraints declared entirely ground. Type declarations are forthcoming.
Both are optional of course.
Cheers,
Tom
------------
For further info, please visit http://www.swi-prolog.org/
To unsubscribe, send a plaintext mail with "unsubscribe prolog <e-mail>"
in its body to majordomo@xxxxxxxxxxxxxx
|
