Availability:Arithmetic function (see is/2)
+RatExpr rdiv +RatExpr
Rational number division. This function is only available if SWI-Prolog has been compiled with rational number support. See section 4.25.2.2 for details.