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

Cannot use alternative vertical bar or logical negation sign

Open Jean-Luc-Picard-2021 opened this issue 2 years ago • 0 comments

I get this in Scryer Prolog:

$ target/release/scryer-prolog -v
"v0.9.0-181-g8e9302ea"
$ target/release/scryer-prolog
?- X = "foo¦bar".
   error(syntax_error(missing_quote),read_term/3:0).
?- [user].
:- op(1100,xfy,¦).
   error(syntax_error(unexpected_char),read_term/3:1).
?-

Whereas in SWI-Prolog I can easily do:

?- X = "foo¦bar".
X = "foo¦bar".

?- [user].
:- op(1100,xfy,¦).
true.

?- X = (foo¦bar), write_canonical(X), nl.
¦(foo,bar)
X = (foo¦bar).

Jean-Luc-Picard-2021 avatar Aug 23 '22 20:08 Jean-Luc-Picard-2021