op/3 current_op/3 failure

mthom / scryer-prolog

A modern Prolog implementation written mostly in Rust.

BSD 3-Clause "New" or "Revised" License

1.93k stars 116 forks source link

op/3 current_op/3 failure #2384

Open flexoron opened 2 months ago

flexoron commented 2 months ago

?- op(1,xfx,'is-').
   true.
?- current_op(1,X,Y).
   false. % unexpected
?-

triska commented 2 months ago

$ scryer-prolog 
?- use_module(library(lists)).
   true.
?- length(_, Pri), current_op(Pri, Fix, Op).
   error(domain_error(operator_priority,1201),op/3).

So, no operator of any given priority exists?

Note that it is not unexpected that a domain error arises eventually. But it is unexpected that no solutions are found.