- Documentation
- Reference manual
- The SWI-Prolog library
- library(check): Consistency checking
- check/0
- list_undefined/0
- list_undefined/1
- list_autoload/0
- list_redefined/0
- list_cross_module_calls/0
- list_void_declarations/0
- list_trivial_fails/0
- list_trivial_fails/1
- trivial_fail_goal/1
- list_strings/0
- list_strings/1
- list_rationals/0
- list_rationals/1
- list_format_errors/0
- list_format_errors/1
- string_predicate/1
- valid_string_goal/1
- checker/2
- library(check): Consistency checking
- The SWI-Prolog library
- Packages
- Reference manual
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
(defaultfalse
) also warn on rationals appearing in arithmetic expressions.
- See also
- Prolog flag rational_syntax
and
prefer_rationals
.