Extra-logical properties for typing

Author(s): Daniel Cabeza, Manuel Hermenegildo.

Version: 1.5#118 (2000/4/19, 18:13:43 CEST)

Version of last change: 0.7#8 (1998/9/23, 19:21:44 MEST)

This library contains traditional Prolog predicates for testing types. They depend on the state of instantiation of their arguments, thus being of extra-logical nature.

• Usage and interface (term_typing)
• Documentation on exports (term_typing)

Usage and interface (term_typing)

Documentation on exports (term_typing)

PROPERTY: var/1:

Usage 1: var(X)

• Description: X is a free variable.
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

Usage 2: var(X)

• Description: X is a free variable.
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

PROPERTY: nonvar/1:

Usage 1: nonvar(T)

• Description: T is currently a term which is not a free variable.
• The following properties hold globally: T is not further instantiated. (basic_props:not_further_inst/2)

Usage 2: nonvar(T)

• Description: T is currently a term which is not a free variable.
• The following properties hold globally: T is not further instantiated. (basic_props:not_further_inst/2)

PROPERTY: atom/1:

Usage 1: atom(X)

• Description: X is currently instantiated to an atom.
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

Usage 2: atom(X)

• Description: X is currently instantiated to an atom.
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

PROPERTY: integer/1:

Usage 1: integer(X)

• Description: X is currently instantiated to an integer.
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

Usage 2: integer(X)

• Description: X is currently instantiated to an integer.
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

PROPERTY: float/1:

Usage 1: float(X)

• Description: X is currently instantiated to a float.
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

Usage 2: float(X)

• Description: X is currently instantiated to a float.
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

PROPERTY: number/1:

Usage 1: number(X)

• Description: X is currently instantiated to a number.
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

Usage 2: number(X)

• Description: X is currently instantiated to a number.
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

PROPERTY: atomic/1:

Usage 1: atomic(X)

• Description: X is currently instantiated to an atom or a number.
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

Usage 2: atomic(X)

• Description: X is currently instantiated to an atom or a number.
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

PROPERTY: ground/1:

Usage 1: ground(X)

• Description: X is currently ground (it contains no variables).
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

Usage 2: ground(X)

• Description: X is currently ground (it contains no variables).
• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2)

PROPERTY: type/2:

Usage 1: type(X,Y)

• Description: X is internally of type Y (var, attv, float, integer, structure, atom or list).
• The following properties hold upon exit: Y is an atom. (basic_props:atm/1)

Usage 2: type(X,Y)

• Description: X is internally of type Y (var, attv, float, integer, structure, atom or list).
• The following properties hold upon exit: Y is an atom. (basic_props:atm/1)

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