The Ciao Prolog System - dictionary (library)

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

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

Version of last change: 1.9#172 (2003/12/4, 17:47:7 CET)

This module contains the fixed dictionary. All the nodes in VRML with their associated fields.

Library usage: :- use_module(library(dictionary)).
Exports:
- Predicates: dictionary/6.
Other modules used:
- System library modules: aggregates, dynamic, iso_misc, iso_byte_char, iso_incomplete, operators, read, write, lists, provrml/internal_types.

PREDICATE: dictionary/6:

Usage 1: dictionary(NodeTypeId, AccessType, FieldTypeId, FieldId, Init_value, Boundary)

Description: To lookup information about the nodes, getting their properties. Note that the type returned for the bound can be of two different types bound or bound_double. The rotation type have one bound for the directions and one for the degree of rotation.
Call and exit should be compatible with: NodeTypeId is an atom. (basic_props:atm/1) AccessType is an atom. (basic_props:atm/1) FieldTypeId is an atom. (basic_props:atm/1) FieldId is an atom. (basic_props:atm/1) Init_value is a list of atms. (basic_props:list/2) Boundary is a variable interval. (internal_types:bound/1)
The following properties should hold at call time: Init_value is a free variable. (term_typing:var/1) Boundary is a free variable. (term_typing:var/1)

Usage 2: dictionary(NodeTypeId, AccessType, FieldTypeId, FieldId, Init_value, Boundary)

Description: To lookup information about the nodes, getting their properties. Note that the type returned for the bound can be of two different types bound or bound_double. The rotation type have one bound for the directions and one for the degree of rotation.
Call and exit should be compatible with: NodeTypeId is an atom. (basic_props:atm/1) AccessType is an atom. (basic_props:atm/1) FieldTypeId is an atom. (basic_props:atm/1) FieldId is an atom. (basic_props:atm/1) Init_value is a list of atms. (basic_props:list/2) Boundary is a variable interval. (internal_types:bound_double/1)
The following properties should hold at call time: Init_value is a free variable. (term_typing:var/1) Boundary is a free variable. (term_typing:var/1)

dictionary (library)