Extra-logical properties for typing

Author(s): Daniel Cabeza, Manuel Hermenegildo.

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.11#167 (2004/2/3, 21:15:56 CET)

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:

General properties: var(X)

• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2) This predicate is understood natively by CiaoPP. (basic_props:native/1) var(X) is side-effect free. (basic_props:sideff/2)

Usage: var(X)

• Description: X is a free variable.
• The following properties hold globally: This predicate is understood natively by CiaoPP as free(X). (basic_props:native/2)

PROPERTY: nonvar/1:

General properties: nonvar(X)

• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2) nonvar(X) is side-effect free. (basic_props:sideff/2) This predicate is understood natively by CiaoPP. (basic_props:native/1)

Usage: nonvar(X)

• Description: X is currently a term which is not a free variable.
• The following properties hold globally: This predicate is understood natively by CiaoPP as not_free(X). (basic_props:native/2)

PROPERTY: atom/1:

General properties: atom(X)

• The following properties hold upon exit: X is an atom. (basic_props:atm/1)

atom(X)

• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2) atom(X) is side-effect free. (basic_props:sideff/2) This predicate is understood natively by CiaoPP. (basic_props:native/1)

Usage: atom(X)

• Description: X is currently instantiated to an atom.
• The following properties hold globally: This predicate is understood natively by CiaoPP. (basic_props:native/1)

PROPERTY: integer/1:

General properties: integer(X)

• The following properties hold upon exit: X is an integer. (basic_props:int/1)

integer(X)

• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2) integer(X) is side-effect free. (basic_props:sideff/2) This predicate is understood natively by CiaoPP. (basic_props:native/1)

Usage: integer(X)

• Description: X is currently instantiated to an integer.
• The following properties hold globally: This predicate is understood natively by CiaoPP. (basic_props:native/1)

PROPERTY: float/1:

General properties: float(X)

• The following properties hold upon exit: X is a float. (basic_props:flt/1)

float(X)

• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2) float(X) is side-effect free. (basic_props:sideff/2) This predicate is understood natively by CiaoPP. (basic_props:native/1)

Usage: float(X)

• Description: X is currently instantiated to a float.
• The following properties hold globally: This predicate is understood natively by CiaoPP. (basic_props:native/1)

PROPERTY: number/1:

General properties: number(X)

• The following properties hold upon exit: X is a number. (basic_props:num/1)

number(X)

• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2) number(X) is side-effect free. (basic_props:sideff/2) This predicate is understood natively by CiaoPP. (basic_props:native/1)

Usage: number(X)

• Description: X is currently instantiated to a number.
• The following properties hold globally: This predicate is understood natively by CiaoPP. (basic_props:native/1)

PROPERTY: atomic/1:

General properties: atomic(X)

• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2) atomic(X) is side-effect free. (basic_props:sideff/2) This predicate is understood natively by CiaoPP. (basic_props:native/1)

Usage: atomic(X)

• Description: X is currently instantiated to an atom or a number.
• The following properties hold globally: This predicate is understood natively by CiaoPP. (basic_props:native/1)

PROPERTY: ground/1:

General properties: ground(X)

• The following properties hold upon exit: X is ground. (basic_props:gnd/1)

ground(X)

• The following properties hold globally: X is not further instantiated. (basic_props:not_further_inst/2) ground(X) is side-effect free. (basic_props:sideff/2) This predicate is understood natively by CiaoPP. (basic_props:native/1)

Usage: ground(X)

• Description: X is currently ground (it contains no variables).
• The following properties hold globally: This predicate is understood natively by CiaoPP. (basic_props:native/1)

PROPERTY: type/2:

General properties: type(X, Y)

• The following properties hold upon exit: Y is an atom. (basic_props:atm/1)

• The following properties hold globally: type(Arg1,Arg2) is side-effect free. (basic_props:sideff/2) This predicate is understood natively by CiaoPP. (basic_props:native/1)

Usage: type(X, Y)

• Description: X is internally of type Y (var, attv, float, integer, structure, atom or list).
• The following properties hold globally: This predicate is understood natively by CiaoPP. (basic_props:native/1)

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