From ae66e299e6867fc8f5cb63cede17bdcb54f990fc Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Fri, 8 Jan 2021 17:28:29 +0100
Subject: [PATCH] Use term expansion for generated predicates.

---
 src/lib/clpz.pl | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

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.
-- 
2.54.0