From 51c00fce5762a28ac3bc3dc07b18611890fd4fd1 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 8 Oct 2023 09:26:22 +0200 Subject: [PATCH] adapt query to Scryer Prolog --- src/lib/clpz.pl | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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, _). -- 2.54.0