ulrich@p0:~/scryer$ /opt/gupu/scryer-prolog/target/release/scryer-prolog -f
?- use_module(library(clpz)).
   true.
?- use_module(library(freeze)).
   true.
?- use_module(library(atts)).
   true.
?- ```
?- X = 1 ; X = 2.
   X = 1
;  ...     % missing .
```
l.
caught: error(syntax_error(missing_quote),read_term/3:0)
?- format("~w\n",[X]).
caught: error(existence_error(procedure,format/2),format/2)
?- use_module(library(format)).
   true.
?- use_module(library(dcgs)).
   true.
?- phrase([], "").
caught: error(type_error(callable,[](_85,_86)),predicate_property/2)
?- phrase([], L).
caught: error(type_error(callable,[](_85,_86)),predicate_property/2)
?- phrase([], _).
caught: error(type_error(callable,[](_85,_86)),predicate_property/2)
?- phrase("a", _).
   true.
?- set_prolog_flag(occurs_check, error).\
.
caught: error(syntax_error(incomplete_reduction),read_term/3:2)
?- set_prolog_flag(occurs_check, error).
   true.
?- -X=X.
caught: error(representation_error(term),unify_with_occurs_check/2)
?- [user].
caught: error(syntax_error(missing_quote),read_term/3:4)
?- [user].
a=b.

caught: error(permission_error(modify,private_procedure,(=)/2),load/1)
?- X=Y.
   X = Y.
?- subsumes_term(-X,Y).
false.
?- subsumes_term(X,Y).
   true.
?- [user].
subsumes_term(a,b).

false.
?-