From: Markus Triska <triska@metalevel.at>
Date: Sun, 8 Oct 2023 07:26:22 +0000 (+0200)
Subject: adapt query to Scryer Prolog
X-Git-Tag: remove~45^2~5
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=51c00fce5762a28ac3bc3dc07b18611890fd4fd1;p=scryer-prolog.git

adapt query to Scryer Prolog
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index b29847be..18475721 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -3647,8 +3647,12 @@ reified_goal(l(L), _)     --> [[L]].
 parse_init_dcg([], _)     --> [].
 parse_init_dcg([V|Vs], P) --> [{init_propagator(V, P)}], parse_init_dcg(Vs, P).
 
-%?- set_prolog_flag(answer_write_options, [portray(true)]),
-%   clpz:parse_reified_clauses(Cs), maplist(portray_clause, Cs).
+/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+?- use_module(library(lists)),
+   use_module(library(format)),
+   clpz:parse_reified_clauses(Cs),
+   maplist(portray_clause, Cs).
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
 reify(E, B) :- reify(E, B, _).