scryer-prolog
scryer-prolog copied to clipboard
rebis-dev: clpz:monotonic is unexpectedly an inadmissible fact
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.
This is preventing me from testing rebis-dev in my current work.
This seems to be fixed in current rebis-dev.
Yes, thank you!