use individual meta_predicate/1 declarations

diff --git a/src/lib/lambda.pl b/src/lib/lambda.pl
index d59a5125bb3aa8b811baf960ca41be02dd56008a..03d9db89d0171d16cda7692f2d66ed09e8f6ce17 100644 (file)
--- a/src/lib/lambda.pl
+++ b/src/lib/lambda.pl
@@ -114,31 +114,30 @@ http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/ISO-Hiord
 @author Ulrich Neumerkel
 */
 
-:- meta_predicate
-       ^(?,0,?),
-       ^(?,1,?,?),
-       ^(?,2,?,?,?),
-       ^(?,3,?,?,?,?),
-       ^(?,4,?,?,?,?,?),
-       ^(?,5,?,?,?,?,?,?),
-       ^(?,6,?,?,?,?,?,?,?),
-       ^(?,7,?,?,?,?,?,?,?,?),
-       \(0),
-       \(1,?),
-       \(2,?,?),
-       \(3,?,?,?),
-       \(4,?,?,?,?),
-       \(5,?,?,?,?,?),
-       \(6,?,?,?,?,?,?),
-       \(7,?,?,?,?,?,?,?),
-       +\(?,0),
-       +\(?,1,?),
-       +\(?,2,?,?),
-       +\(?,3,?,?,?),
-       +\(?,4,?,?,?,?),
-       +\(?,5,?,?,?,?,?),
-       +\(?,6,?,?,?,?,?,?),
-       +\(?,7,?,?,?,?,?,?,?).
+:- meta_predicate ^(?,0,?).
+:- meta_predicate ^(?,1,?,?).
+:- meta_predicate ^(?,2,?,?,?).
+:- meta_predicate ^(?,3,?,?,?,?).
+:- meta_predicate ^(?,4,?,?,?,?,?).
+:- meta_predicate ^(?,5,?,?,?,?,?,?).
+:- meta_predicate ^(?,6,?,?,?,?,?,?,?).
+:- meta_predicate ^(?,7,?,?,?,?,?,?,?,?).
+:- meta_predicate \(0).
+:- meta_predicate \(1,?).
+:- meta_predicate \(2,?,?).
+:- meta_predicate \(3,?,?,?).
+:- meta_predicate \(4,?,?,?,?).
+:- meta_predicate \(5,?,?,?,?,?).
+:- meta_predicate \(6,?,?,?,?,?,?).
+:- meta_predicate \(7,?,?,?,?,?,?,?).
+:- meta_predicate +\(?,0).
+:- meta_predicate +\(?,1,?).
+:- meta_predicate +\(?,2,?,?).
+:- meta_predicate +\(?,3,?,?,?).
+:- meta_predicate +\(?,4,?,?,?,?).
+:- meta_predicate +\(?,5,?,?,?,?,?).
+:- meta_predicate +\(?,6,?,?,?,?,?,?).
+:- meta_predicate +\(?,7,?,?,?,?,?,?,?).
 
 :- meta_predicate no_hat_call(0).