scryer-prolog
scryer-prolog copied to clipboard
op/3 current_op/3 failure
?- op(1,xfx,'is-').
true.
?- current_op(1,X,Y).
false. % unexpected
?-