Availability:built-in
rational(+Term,
-Numerator, -Denominator)True if Term is a rational number with given Numerator
and
Denominator. The Numerator and Denominator
are in canonical form, which means Denominator is a positive
integer and there are no common divisors between Numerator
and Denominator.