rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use individual meta_predicate/1 declarations

Browse Source
This commit is contained in:
Markus Triska
2021-02-25 22:02:51 +01:00
parent b85e260b92
commit dfb60ec2ed
1 changed files with 24 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

49
src/lib/lambda.pl
View File

@@ -114,31 +114,30 @@ http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/ISO-Hiord
@author Ulrich Neumerkel @author Ulrich Neumerkel
*/ */
:- meta_predicate :- meta_predicate ^(?,0,?).
^(?,0,?), :- meta_predicate ^(?,1,?,?).
^(?,1,?,?), :- meta_predicate ^(?,2,?,?,?).
^(?,2,?,?,?), :- meta_predicate ^(?,3,?,?,?,?).
^(?,3,?,?,?,?), :- meta_predicate ^(?,4,?,?,?,?,?).
^(?,4,?,?,?,?,?), :- meta_predicate ^(?,5,?,?,?,?,?,?).
^(?,5,?,?,?,?,?,?), :- meta_predicate ^(?,6,?,?,?,?,?,?,?).
^(?,6,?,?,?,?,?,?,?), :- meta_predicate ^(?,7,?,?,?,?,?,?,?,?).
^(?,7,?,?,?,?,?,?,?,?), :- meta_predicate \(0).
\(0), :- meta_predicate \(1,?).
\(1,?), :- meta_predicate \(2,?,?).
\(2,?,?), :- meta_predicate \(3,?,?,?).
\(3,?,?,?), :- meta_predicate \(4,?,?,?,?).
\(4,?,?,?,?), :- meta_predicate \(5,?,?,?,?,?).
\(5,?,?,?,?,?), :- meta_predicate \(6,?,?,?,?,?,?).
\(6,?,?,?,?,?,?), :- meta_predicate \(7,?,?,?,?,?,?,?).
\(7,?,?,?,?,?,?,?), :- meta_predicate +\(?,0).
+\(?,0), :- meta_predicate +\(?,1,?).
+\(?,1,?), :- meta_predicate +\(?,2,?,?).
+\(?,2,?,?), :- meta_predicate +\(?,3,?,?,?).
+\(?,3,?,?,?), :- meta_predicate +\(?,4,?,?,?,?).
+\(?,4,?,?,?,?), :- meta_predicate +\(?,5,?,?,?,?,?).
+\(?,5,?,?,?,?,?), :- meta_predicate +\(?,6,?,?,?,?,?,?).
+\(?,6,?,?,?,?,?,?), :- meta_predicate +\(?,7,?,?,?,?,?,?,?).
+\(?,7,?,?,?,?,?,?,?).
:- meta_predicate no_hat_call(0). :- meta_predicate no_hat_call(0).