]> Repositorios git - scryer-prolog.git/commitdiff
adapt query to Scryer Prolog
authorMarkus Triska <[email protected]>
Sun, 8 Oct 2023 07:26:22 +0000 (09:26 +0200)
committerMarkus Triska <[email protected]>
Sun, 8 Oct 2023 07:26:22 +0000 (09:26 +0200)
src/lib/clpz.pl

index b29847be39b555d895a83c3c6653077cce836c41..184757215e6fbebe5d2194d7f99d536ba4a8d722 100644 (file)
@@ -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, _).