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

do not hard code arity in builtins.pl

Browse Source
This commit is contained in:
Mark Thom
2019-03-02 22:58:37 -07:00
parent 77652d4458
commit 586375ce4c
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/prolog/lib/builtins.pl
View File

@@ -614,7 +614,8 @@ match_builtins(float, 1).
match_builtins(nonvar, 1). match_builtins(nonvar, 1).
match_builtins(var, 1). match_builtins(var, 1).
match_builtins(call, N) :- match_builtins(call, N) :-
between:between(0, 63, N). max_arity(Max),
between:between(0, Max, N).
'$iterate_predicate_list'([Name/Arity|Preds], Name/Arity). '$iterate_predicate_list'([Name/Arity|Preds], Name/Arity).
'$iterate_predicate_list'([_|Preds], Pred) :- '$iterate_predicate_list'([_|Preds], Pred) :-