Miscellaneous ISO Prolog predicates

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

Usage:ISO

• The following properties should hold at call time:
  (basic_props:cgoal/1)G is a term which represents a goal, i.e., an atom or a structure.

Test succeeds for all solutions to Generate

Usage:

• The following properties should hold at call time:
  (basic_props:cgoal/1)Generate is a term which represents a goal, i.e., an atom or a structure.
  (basic_props:cgoal/1)Test is a term which represents a goal, i.e., an atom or a structure.

Call goal G and unify Det with true if no additional choice-points has been created, or false otherwise

Usage:

• Call and exit should be compatible with:
  (basic_props:atm/1)Det is an atom.
• The following properties should hold at call time:
  (basic_props:cgoal/1)G is a term which represents a goal, i.e., an atom or a structure.
• The following properties should hold upon exit:
  (basic_props:atm/1)Det is an atom.

T is currently instantiated to a compound term.

Usage:ISO

• Call and exit should be compatible with:
  (basic_props:term/1)T is any term.
• The following properties should hold upon exit:
  (basic_props:term/1)T is any term.
  (basic_props:struct/1)T is a compound term.

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

Usage:ISO

• Call and exit should be compatible with:
  (basic_props:int/1)Before is an integer.
  (basic_props:int/1)Length is an integer.
  (basic_props:int/1)After is an integer.
  (basic_props:atm/1)Sub_atom is an atom.
• The following properties should hold at call time:
  (basic_props:atm/1)Atom is an atom.
• The following properties should hold upon exit:
  (basic_props:int/1)Before is an integer.
  (basic_props:int/1)Length is an integer.
  (basic_props:int/1)After is an integer.
  (basic_props:atm/1)Sub_atom is an atom.

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

Usage:ISO

• Call and exit should be compatible with:
  (basic_props:term/1)X is any term.
  (basic_props:term/1)Y is any term.
• The following properties should hold upon exit:
  (basic_props:term/1)X is any term.
  (basic_props:term/1)Y is any term.