

Rational Numbers are "numbers" and "atomic" (latest in SWI-Prolog 8.1.24, rational numbers used to not be numbers at some point):
?- X is 3r7, rational(X), number(X), atomic(X), \+atom(X), format("~q",[X]). 3r7 X = 3r7.
Did you know ... | Search Documentation: |
![]() | Predicate number/1 |
Rational Numbers are "numbers" and "atomic" (latest in SWI-Prolog 8.1.24, rational numbers used to not be numbers at some point):
?- X is 3r7, rational(X), number(X), atomic(X), \+atom(X), format("~q",[X]). 3r7 X = 3r7.