use individual meta_predicate/1 declarations
@@ -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).
