ulrich@p0:~/scryer$ /opt/gupu/scryer-prolog/target/release/scryer-prolog -f
?- use_module(library(clpz)).

   true.
?- call_residue_vars((X#>4, X = 5), Vs).
caught: error(existence_error(procedure,call_residue_vars/2),call_residue_vars/2)
?- use_module(library(freeze)).
   true.
?- call_residue_vars((X#>4, X = 5), Vs).
caught: error(existence_error(procedure,call_residue_vars/2),call_residue_vars/2)
?- use_module(library(atts)).
   true.
?- call_residue_vars((X#>4, X = 5), Vs).
   X = 5, Vs = [].
?- call_residue_vars((X#>4, X = 5), Vs), copy_term(Vs,_,G_0s).
   X = 5, Vs = [], G_0s = [].
?- [user].
p :-
        X #< Y,
        X #> Y.

?- p.
   true.
?- call_residue_vars(p, Vs).
   Vs = [_B], clpz:(_A#=<_B+ -1), clpz:(_B#=<_A+ -1).
?- X = 1; X = 2.
   X = 1
;  ...
?- X = 1 ; X = 2.
   X = 1
;  X = 2.
?- X = 1 ; X = 2.
   X = 1
;  ...
?- ```
?- 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.
?- format("~w\n",[X]).
A
   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.
?- 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.