SWI-Prolog Did You Know Did you know? SWI-Prolog supports rational numbers (ℚ) Search Documentation:
Title for pldoc(object(section('sec:cplfd-arith-constraints')))

Sorry, No manual entry for section(sec:cplfd-arith-constraints)