◄►The Ciao System » PART X - Contributed libraries » ProVRML - a Prolog interface for VRML »

field_type (library)

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

Usage and interface

Library usage:
:- use_module(library(field_type)).
Exports:
- Predicates:
  fieldType/1.
Imports:
- Packages:
  prelude, nonpure, assertions, isomodes.

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.