From: Markus Triska <triska@metalevel.at>
Date: Tue, 15 Aug 2023 19:39:32 +0000 (+0200)
Subject: adapt query to Scryer Prolog
X-Git-Tag: v0.9.2~4^2~5
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=327423ab8422960fb9630e794f1a2c69323b22f1;p=scryer-prolog.git

adapt query to Scryer Prolog
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index bf3c289c..d5b461f3 100644
--- 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).
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%