scryer-prolog icon indicating copy to clipboard operation
scryer-prolog copied to clipboard

rebis-dev: clpz:monotonic is unexpectedly an inadmissible fact

Open triska opened this issue 1 year ago • 1 comments

With rebis-dev, I get:

$ scryer-prolog
?- [user].
:- use_module(library(clpz)).
clpz:monotonic.

   error(syntax_error(inadmissible_fact),load/1).

For comparison, it works in master.

triska avatar Sep 28 '24 23:09 triska

This is preventing me from testing rebis-dev in my current work.

dcnorris avatar Oct 03 '24 10:10 dcnorris

This seems to be fixed in current rebis-dev.

bakaq avatar Feb 20 '25 00:02 bakaq

Yes, thank you!

triska avatar Feb 20 '25 06:02 triska