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

Use term expansion for generated predicates.

Browse Source
This commit is contained in:
Markus Triska
2021-02-03 15:21:39 -07:00
committed by Mark Thom
parent 88ad2ee103
commit ae66e299e6
1 changed files with 6 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/lib/clpz.pl
+6 -7
View File
@@ -7763,11 +7763,10 @@ zo_t(1, true).
Generated predicates Generated predicates
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
generated_clauses(Cs) :- term_expansion(make_parse_clpz, Clauses) :- make_parse_clpz(Clauses).
make_parse_clpz(Cs1), term_expansion(make_parse_reified, Clauses) :- make_parse_reified(Clauses).
make_parse_reified(Cs2), term_expansion(make_matches, Clauses) :- make_matches(Clauses).
make_matches(Cs3),
append([Cs1,Cs2,Cs3], Cs).
:- initialization((generated_clauses(Cs), make_parse_clpz.
maplist(assertz, Cs))). make_parse_reified.
make_matches.