![]() Integers (defined by the Prolog flag max_tagged_integer)Īre encoded directly. Internally, SWI-Prolog has three integer representations. The use of GMP is default, most of the following descriptions assume The type of integer support can beĭetected using the Prolog flags bounded, min_integer Without GMP, SWI-Prolog integers are 64-bits, regardless of the Which means that the size of integers is limited by available memory Library (GMP), integer arithmetic is unbounded, ![]() If SWI-Prolog is built using the GNU multiple precision arithmetic If equality is to be tested, =:=/2Įvaluates to the float 1.0, which does not unify with the integer 1. Should be used with unbound left operand. Number is +Expr True when Number is the value to which Expr ![]() +Expr1 =:= +Expr2 True if expression Expr1 evaluates to a number equal toĮxpr2. +Expr1 =\= +Expr2 True if expression Expr1 evaluates to a number non-equal toĮxpr2. +Expr1 = +Expr2 True if expression Expr1 evaluates to a larger or equal +Expr1 > +Expr2 True if expression Expr1 evaluates to a larger number than Expr2. Unfortunately compiled arithmetic cannot be traced, which is why it is Reduces global stack requirements and improves performance. The general arithmetic predicates are optionally compiled (seeĪnd the -O command line option).
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |