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


Miscellaneous ISO Prolog predicates

Author(s): Daniel Cabeza.

Version: 1.10#6 (2004/8/7, 21:46:39 CEST)

Version of last change: 1.9#304 (2004/2/17, 17:20:4 CET)

This module implements some miscellaneous ISO Prolog predicates.

Usage and interface (iso_misc)

Documentation on exports (iso_misc)

PREDICATE: \=/2:

X \= Y

X and Y are not unifiable.

PREDICATE: once/1:

once(G)

Finds the first solution of goal G (if any). once/1 behaves as call/1, except that no further solutions are explored on backtracking.

Meta-predicate with arguments: once(goal).

PREDICATE: compound/1:

compound(T)

T is currently instantiated to a compound term.

PREDICATE: sub_atom/5:

sub_atom(Atom, Before, Length, After, Sub_atom)

Is true iff atom Atom can be broken into three pieces, AtomL, Sub_atom and AtomR such that Before is the number of characters of the name of AtomL, Length is the number of characters of the name of Sub_atom and After is the number of characters of the name of AtomR

PREDICATE: unify_with_occurs_check/2:

unify_with_occurs_check(X, Y)

Attempts to compute and apply a most general unifier of the two terms X and Y. Is true iff X and Y are unifiable.


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