scryer-prolog
scryer-prolog copied to clipboard
Cannot use alternative vertical bar or logical negation sign
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).