field_type (library)

Author(s): Göran Smedbäck.

Usage and interface

  • Library usage:
    :- use_module(library(field_type)).
  • Exports:

Documentation on exports


Usage: fieldType(FieldTypeId)

  • Description: Boolean predicate used to check the fieldTypeId with the defiened.
  • Call and exit should be compatible with:
    (basic_props:atm/1)FieldTypeId is an atom.
  • The following properties should hold at call time:
    (term_typing:nonvar/1)FieldTypeId is currently a term which is not a free variable.