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

Fix querying bounded and integer_rounding_function flag values

Browse Source
This commit is contained in:
Paulo Moura
2021-05-11 12:08:11 +01:00
parent ebe143d9c9
commit 42d9b57733
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

@@ -126,9 +126,9 @@ Module : Predicate :-
% flags.
current_prolog_flag(Flag, false) :- Flag == bounded, !.
current_prolog_flag(Flag, Value) :- Flag == bounded, !, Value == false.
current_prolog_flag(bounded, false).
current_prolog_flag(Flag, toward_zero) :- Flag == integer_rounding_function, !.
current_prolog_flag(Flag, Value) :- Flag == integer_rounding_function, !, Value == toward_zero.
current_prolog_flag(integer_rounding_function, toward_zero).
current_prolog_flag(Flag, Value) :- Flag == double_quotes, !, '$get_double_quotes'(Value).
current_prolog_flag(double_quotes, Value) :- '$get_double_quotes'(Value).