adapt query to Scryer Prolog

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index bf3c289cd17109d65a4e44a6634fc257740e46b1..d5b461f3bb1c6e539dfcc73fa14f46a871783ba7 100644 (file)
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -2643,8 +2643,12 @@ parse_goal(p(Prop)) -->
 parse_init([], _)     --> [].
 parse_init([V|Vs], P) --> [init_propagator(V, P)], parse_init(Vs, P).
 
-%?- set_prolog_flag(answer_write_options, [portray(true)]),
-%   clpz:parse_clpz_clauses(Clauses), maplist(portray_clause, Clauses).
+/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+?- use_module(library(lists)),
+   use_module(library(format)),
+   clpz:parse_clpz_clauses(Clauses),
+   maplist(portray_clause, Clauses).
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%