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

Fix querying the values of the bounded and max_arity flags

Browse Source
This commit is contained in:
Paulo Moura
2022-03-07 00:30:35 +00:00
parent 1808597258
commit 0532f51cc2
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/builtins.pl
View File

@@ -119,9 +119,9 @@ Module : Predicate :-
% flags.
current_prolog_flag(Flag, Value) :- Flag == max_arity, !, Value == 1023.
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(Flag, Value) :- Flag == integer_rounding_function, !, Value == toward_zero.
current_prolog_flag(integer_rounding_function, toward_zero).