Go to the first, previous, next, last section, table of contents.

iso_misc (library)

Version: 0.4#5 (1998/2/24)

Usage and interface (`iso_misc`)

Library usage: :- use_module(library(iso_misc)).
Exports:
- Predicates: \=/2, once/1, compound/1, sub_atom/5, unify_with_occurs_check/2.
Other modules used:
- System library modules: between.

Documentation on exports (`iso_misc`)

PREDICATE: \=/2:: No further documentation available for this predicate.

PREDICATE: once/1:

No further documentation available for this predicate.

Meta-predicate with arguments: once(goal).

PREDICATE: compound/1:: No further documentation available for this predicate.

PREDICATE: sub_atom/5:: No further documentation available for this predicate.

PREDICATE: unify_with_occurs_check/2:: No further documentation available for this predicate.

Go to the first, previous, next, last section, table of contents.