diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

yap_flag(informational_messages,_)

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@324 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2002-01-23 14:23:19 +00:00
parent 721746bd64
commit 893eff6392
2 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/yap.tex
View File

@ -5988,6 +5988,14 @@ and stack shifts.
@* @*
If @code{on} allow indexing (default), if @code{off} disable it. If @code{on} allow indexing (default), if @code{off} disable it.
@item informational_messages
@findex informational_messages (yap_flag/2 option)
@*
If @code{on} allow printing of informational messages, such as the ones
that are printed when consulting a fule. If @code{off} disable printing
these messages. It is @code{on} by default except if Yap is booted with
the @code{-L} flag.
@item integer_rounding_function [ISO] @item integer_rounding_function [ISO]
@findex integer_rounding_function (yap_flag/2 option) @findex integer_rounding_function (yap_flag/2 option)
@* @*

8
pl/directives.yap
View File

@ -186,6 +186,13 @@ yap_flag(index,X) :- var(X), !,
yap_flag(index,on) :- !, '$set_value'('$doindex',true). yap_flag(index,on) :- !, '$set_value'('$doindex',true).
yap_flag(index,off) :- !, '$set_value'('$doindex',[]). yap_flag(index,off) :- !, '$set_value'('$doindex',[]).
yap_flag(informational_messages,X) :- var(X), !,
'$get_value'('$verbose',X).
yap_flag(informational_messages,on) :- !, '$set_value'('$verbose',on).
yap_flag(informational_messages,off) :- !, '$set_value'('$verbose',off).
yap_flag(informational_messages,X) :-
throw(error(domain_error(flag_value,informational_messages+X),yap_flag(informational_messages,X))).
yap_flag(integer_rounding_function,X) :- yap_flag(integer_rounding_function,X) :-
var(X), !, var(X), !,
'$access_yap_flags'(2, X1), '$access_yap_flags'(2, X1),
@ -483,6 +490,7 @@ yap_flag(host_type,X) :-
% V = hide ; % V = hide ;
% V = host_type ; % V = host_type ;
V = index ; V = index ;
V = informational_messages ;
V = integer_rounding_function ; V = integer_rounding_function ;
V = language ; V = language ;
V = max_arity ; V = max_arity ;