]> Repositorios git - scryer-prolog.git/commitdiff
Use term expansion for generated predicates.
authorMarkus Triska <[email protected]>
Fri, 8 Jan 2021 16:28:29 +0000 (17:28 +0100)
committerMark Thom <[email protected]>
Wed, 3 Feb 2021 22:21:39 +0000 (15:21 -0700)
src/lib/clpz.pl

index a4f662567ae4334ae64a6607991bf3ba7da28b67..fda2f3093cd8be692ac12f1a914b04bbe11f2308 100644 (file)
@@ -7763,11 +7763,10 @@ zo_t(1, true).
    Generated predicates
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
-generated_clauses(Cs) :-
-        make_parse_clpz(Cs1),
-        make_parse_reified(Cs2),
-        make_matches(Cs3),
-        append([Cs1,Cs2,Cs3], Cs).
-
-:- initialization((generated_clauses(Cs),
-                   maplist(assertz, Cs))).
+term_expansion(make_parse_clpz, Clauses)    :- make_parse_clpz(Clauses).
+term_expansion(make_parse_reified, Clauses) :- make_parse_reified(Clauses).
+term_expansion(make_matches, Clauses)       :- make_matches(Clauses).
+
+make_parse_clpz.
+make_parse_reified.
+make_matches.