From 3f316c5c9265618fe7095cc39c4cb10909cbe468 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Fri, 16 Jul 2021 20:09:02 +0000 Subject: Implement a bit more of prolog flag predicates set_prolog_flag/2 and current_prolog_flag/2 --- dat.h | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) (limited to 'dat.h') diff --git a/dat.h b/dat.h index 5e1641e..5cf3001 100644 --- a/dat.h +++ b/dat.h @@ -108,14 +108,49 @@ enum { int debug; /* Flags */ +enum { + BoundedTrue, + BoundedFalse, +}; + +enum { + IntegerRoundDown, + IntegerRoundTowardZero, +}; + +enum { + CharConversionOn, + CharConversionOff, +}; + +enum { + DebugOn, + DebugOff, +}; + +enum { + UnknownError, + UnknownFail, + UnknownWarning, +}; + enum { DoubleQuotesChars, DoubleQuotesCodes, DoubleQuotesAtom, }; +int flagbounded; +vlong flagmaxinteger; +vlong flagmininteger; +int flagintegerroundingfunction; +int flagcharconversion; +int flagdebug; +vlong flagmaxarity; +int flagunknown; int flagdoublequotes; + /* State of the running system */ Choicepoint *choicestack; Goal *goalstack; -- cgit v1.2.3