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