rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

adapt query to Scryer Prolog

Browse Source
This commit is contained in:
Markus Triska
2023-10-08 09:26:22 +02:00
parent 1ab14ea519
commit 51c00fce57
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/lib/clpz.pl
View File

@@ -3647,8 +3647,12 @@ reified_goal(l(L), _) --> [[L]].
parse_init_dcg([], _) --> []. parse_init_dcg([], _) --> [].
parse_init_dcg([V|Vs], P) --> [{init_propagator(V, P)}], parse_init_dcg(Vs, P). 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, _). reify(E, B) :- reify(E, B, _).