Extra-logical properties for typing

Author(s): Daniel Cabeza, Manuel Hermenegildo.

Version: 1.10#7 (2006/4/26, 19:22:13 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:

General properties: var(X)

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

Usage: 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:

General properties: nonvar(X)

• The following properties hold globally: This predicate is understood natively by CiaoPP. (basic_props:native/1) This predicate is understood natively by CiaoPP as not_free(X). (basic_props:native/2)

Usage: nonvar(X)

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

PROPERTY: atom/1:

Usage: atom(X)

• Description: X is currently instantiated to an atom.
• The following properties hold upon exit: X is an atom. (basic_props:atm/1)
• 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)

PROPERTY: integer/1:

Usage: integer(X)

• Description: X is currently instantiated to an integer.
• The following properties hold upon exit: X is an integer. (basic_props:int/1)
• 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)

PROPERTY: float/1:

Usage: float(X)

• Description: X is currently instantiated to a float.
• The following properties hold upon exit: X is a float. (basic_props:flt/1)
• 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)

PROPERTY: number/1:

Usage: number(X)

• Description: X is currently instantiated to a number.
• The following properties hold upon exit: X is a number. (basic_props:num/1)
• 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)

PROPERTY: atomic/1:

Usage: 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) This predicate is understood natively by CiaoPP. (basic_props:native/1)

PROPERTY: ground/1:

Usage: ground(X)

• Description: X is currently ground (it contains no variables).
• The following properties hold upon exit: X is ground. (basic_props:gnd/1)
• 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)

PROPERTY: type/2:

Usage: 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)
• 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.