- list_rationals is det
- list_rationals(+Options) is det
- List rational numbers that appear in clauses. This predicate is used
to find portability issues for changing the Prolog flag
rational_syntax to natural, creating rational numbers from
<integer>/<nonneg>. Options:
- module_class(+Classes)
- Determines the modules classes processed. By default only
user code is processed. See prolog_program_clause/2.
- arithmetic(+Bool)
- If
true (default false) also warn on rationals appearing
in arithmetic expressions.
- See also
- - Prolog flag
rational_syntax and prefer_rationals.