SWI-Prolog Did You Know Did you know? SWI-Prolog supports rational numbers (ℚ) Search Documentation:
Predicate randseq/3