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

Merge pull request #951 from pmoura/add_max_arity_prolog_flag

Browse Source 
Add max_arity Prolog flag
This commit is contained in:
Mark Thom
2021-05-11 19:22:38 -06:00
committed by GitHub
parent 0fb8459bc1 f7eda362c7
commit 7b92bee596
1 changed files with 6 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/lib/builtins.pl
View File

@@ -13,7 +13,7 @@
fail/0, false/0, findall/3, findall/4, fail/0, false/0, findall/3, findall/4,
flush_output/0, flush_output/1, get_byte/1, flush_output/0, flush_output/1, get_byte/1,
get_byte/2, get_char/1, get_char/2, get_code/1, get_byte/2, get_char/1, get_char/2, get_code/1,
get_code/2, halt/0, halt/1, max_arity/1, nl/0, get_code/2, halt/0, halt/1, nl/0,
nl/1, number_chars/2, number_codes/2, once/1, nl/1, number_chars/2, number_codes/2, once/1,
op/3, open/3, open/4, peek_byte/1, peek_byte/2, op/3, open/3, open/4, peek_byte/1, peek_byte/2,
peek_char/1, peek_char/2, peek_code/1, peek_char/1, peek_char/2, peek_code/1,
@@ -29,10 +29,6 @@
write_term/2, write_term/3, writeq/1, writeq/2]). write_term/2, write_term/3, writeq/1, writeq/2]).
% the maximum arity flag. needs to be replaced with
% current_prolog_flag(max_arity, MAX_ARITY).
max_arity(1023).
% unify. % unify.
X = X. X = X.
@@ -126,6 +122,8 @@ Module : Predicate :-
% flags. % flags.
current_prolog_flag(Flag, Value) :- Flag == max_arity, !, Value == 1023.
current_prolog_flag(max_arity, 1023).
current_prolog_flag(Flag, Value) :- Flag == bounded, !, Value == false. current_prolog_flag(Flag, Value) :- Flag == bounded, !, Value == false.
current_prolog_flag(bounded, false). current_prolog_flag(bounded, false).
current_prolog_flag(Flag, Value) :- Flag == integer_rounding_function, !, Value == toward_zero. current_prolog_flag(Flag, Value) :- Flag == integer_rounding_function, !, Value == toward_zero.
@@ -368,7 +366,7 @@ univ_errors(Term, List, N) :-
T == [], T == [],
throw(error(type_error(atomic, H), (=..)/2)) % 8.5.3.3 e) throw(error(type_error(atomic, H), (=..)/2)) % 8.5.3.3 e)
; var(Term), ; var(Term),
max_arity(M), current_prolog_flag(max_arity, M),
N - 1 > M, N - 1 > M,
throw(error(representation_error(max_arity), (=..)/2)) % 8.5.3.3 g) throw(error(representation_error(max_arity), (=..)/2)) % 8.5.3.3 g)
; true ; true
@@ -1034,7 +1032,7 @@ module_abolish(Pred, Module) :-
throw(error(type_error(atom, Name), abolish/1)) throw(error(type_error(atom, Name), abolish/1))
; Arity < 0 -> ; Arity < 0 ->
throw(error(domain_error(not_less_than_zero, Arity), abolish/1)) throw(error(domain_error(not_less_than_zero, Arity), abolish/1))
; max_arity(N), Arity > N -> ; current_prolog_flag(max_arity, N), Arity > N ->
throw(error(representation_error(max_arity), abolish/1)) throw(error(representation_error(max_arity), abolish/1))
; functor(Head, Name, Arity) -> ; functor(Head, Name, Arity) ->
( '$head_is_dynamic'(Module, Head) -> ( '$head_is_dynamic'(Module, Head) ->
@@ -1067,7 +1065,7 @@ abolish(Pred) :-
throw(error(type_error(atom, Name), abolish/1)) throw(error(type_error(atom, Name), abolish/1))
; Arity < 0 -> ; Arity < 0 ->
throw(error(domain_error(not_less_than_zero, Arity), abolish/1)) throw(error(domain_error(not_less_than_zero, Arity), abolish/1))
; max_arity(N), Arity > N -> ; current_prolog_flag(max_arity, N), Arity > N ->
throw(error(representation_error(max_arity), abolish/1)) throw(error(representation_error(max_arity), abolish/1))
; functor(Head, Name, Arity) -> ; functor(Head, Name, Arity) ->
( '$head_is_dynamic'(user, Head) -> ( '$head_is_dynamic'(user, Head) ->