scryer-prolog icon indicating copy to clipboard operation
scryer-prolog copied to clipboard
verified publisher icon mthom

Cannot define predicate '¬'/0

Open bakaq opened this issue 1 year ago • 1 comments 

?- [user].
'¬'.

   error(permission_error(create,static_procedure,nameless_procedure),load/1).
?- [user].
% These work
'¬'(_).
'¬'(_,_).

bakaq avatar Aug 19 '24 02:08 bakaq

Good news: This works in rebis-dev!

triska avatar May 01 '25 22:05 triska

@bakaq: Does it work for you now?

triska avatar Aug 24 '25 06:08 triska

Yes, thanks!

bakaq avatar Aug 26 '25 15:08 bakaq