field_type (library)
Author(s): Göran Smedbäck.Usage and interface
- Library usage:
:- use_module(library(provrml/field_type)). - Exports:
- Predicates:
fieldType/1.
- Predicates:
- Imports:
- Packages:
prelude, nonpure, condcomp, assertions, isomodes.
- Packages:
Documentation on exports
PREDICATE
Usage:fieldType(FieldTypeId)
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.
