From: Markus Triska <triska@metalevel.at>
Date: Fri, 8 Jan 2021 16:28:29 +0000 (+0100)
Subject: Use term expansion for generated predicates.
X-Git-Tag: v0.9.0~150^2~66^2~6
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ae66e299e6867fc8f5cb63cede17bdcb54f990fc;p=scryer-prolog.git

Use term expansion for generated predicates.
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index a4f66256..fda2f309 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -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.