Version: 0.1 (1999/1/14, 13:30:46 MET)
lookup
):- use_module(library(lookup)).
create_proto_element/3
,
get_prototype_interface/2
,
get_prototype_definition/2
,
lookup_check_node/4
,
lookup_check_field/6
,
lookup_check_interface_fieldValue/8
,
lookup_field/4
,
lookup_route/5
,
lookup_fieldTypeId/1
,
lookup_get_fieldType/4
,
lookup_field_access/4
,
lookup_set_def/3
,
lookup_set_prototype/4
,
lookup_set_extern_prototype/4
.
lookup
)
Usage 1: create_proto_element(+Interface,+Definition,-Proto)
+Interface
is any term.
(basic_props:term/1
)
+Definition
is any term.
(basic_props:term/1
)
-Proto
is any term.
(basic_props:term/1
)
Usage 2: create_proto_element(Interface,Definition,Proto)
Interface
is any term.
(basic_props:term/1
)
Definition
is any term.
(basic_props:term/1
)
Proto
is any term.
(basic_props:term/1
)
Interface
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Definition
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Proto
is a free variable.
(term_typing:var/1
)
Usage 1: get_prototype_interface(+Proto,-Interface)
+Proto
is any term.
(basic_props:term/1
)
-Interface
is any term.
(basic_props:term/1
)
Usage 2: get_prototype_interface(Proto,Interface)
Proto
is any term.
(basic_props:term/1
)
Interface
is any term.
(basic_props:term/1
)
Proto
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Interface
is a free variable.
(term_typing:var/1
)
Usage 1: get_prototype_definition(+Proto,-Definition)
+Proto
is any term.
(basic_props:term/1
)
-Definition
is any term.
(basic_props:term/1
)
Usage 2: get_prototype_definition(Proto,Definition)
Proto
is any term.
(basic_props:term/1
)
Definition
is any term.
(basic_props:term/1
)
Proto
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Definition
is a free variable.
(term_typing:var/1
)
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
Usage 1: lookup_field(+Parse,+FieldTypeId,+FieldId0,+FieldId1)
+Parse
is a parse structure.
(internal_types:parse/1
)
+FieldTypeId
is an atom.
(basic_props:atm/1
)
+FieldId0
is an atom.
(basic_props:atm/1
)
+FieldId1
is an atom.
(basic_props:atm/1
)
Usage 2: lookup_field(Parse,FieldTypeId,FieldId0,FieldId1)
Parse
is a parse structure.
(internal_types:parse/1
)
FieldTypeId
is an atom.
(basic_props:atm/1
)
FieldId0
is an atom.
(basic_props:atm/1
)
FieldId1
is an atom.
(basic_props:atm/1
)
Parse
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
FieldTypeId
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
FieldId0
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
FieldId1
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage 1: lookup_route(+Parse,+NodeTypeId0,+FieldId0,+NodeTypeId1,+FieldId1)
+Parse
is a parse structure.
(internal_types:parse/1
)
+NodeTypeId0
is an atom.
(basic_props:atm/1
)
+FieldId0
is an atom.
(basic_props:atm/1
)
+NodeTypeId1
is an atom.
(basic_props:atm/1
)
+FieldId1
is an atom.
(basic_props:atm/1
)
Usage 2: lookup_route(Parse,NodeTypeId0,FieldId0,NodeTypeId1,FieldId1)
Parse
is a parse structure.
(internal_types:parse/1
)
NodeTypeId0
is an atom.
(basic_props:atm/1
)
FieldId0
is an atom.
(basic_props:atm/1
)
NodeTypeId1
is an atom.
(basic_props:atm/1
)
FieldId1
is an atom.
(basic_props:atm/1
)
Parse
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
NodeTypeId0
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
FieldId0
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
NodeTypeId1
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
FieldId1
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage 1: lookup_fieldTypeId(+FieldTypeId)
+FieldTypeId
is an atom.
(basic_props:atm/1
)
Usage 2: lookup_fieldTypeId(FieldTypeId)
FieldTypeId
is an atom.
(basic_props:atm/1
)
FieldTypeId
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage 1: lookup_get_fieldType(+Parse,+NodeTypeId,+fieldId,-FieldType)
+Parse
is a parse structure.
(internal_types:parse/1
)
+NodeTypeId
is an atom.
(basic_props:atm/1
)
+fieldId
is an atom.
(basic_props:atm/1
)
-FieldType
is an atom.
(basic_props:atm/1
)
Usage 2: lookup_get_fieldType(Parse,NodeTypeId,Arg3,FieldType)
Parse
is a parse structure.
(internal_types:parse/1
)
NodeTypeId
is an atom.
(basic_props:atm/1
)
Arg3
is an atom.
(basic_props:atm/1
)
FieldType
is an atom.
(basic_props:atm/1
)
Parse
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
NodeTypeId
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
undefined:fieldId(Arg3)
(undefined property)
FieldType
is a free variable.
(term_typing:var/1
)
Usage 1: lookup_field_access(+Parse,+NodenameId,+FieldId,+FieldId)
+Parse
is a parse structure.
(internal_types:parse/1
)
+NodenameId
is an atom.
(basic_props:atm/1
)
+FieldId
is an atom.
(basic_props:atm/1
)
+FieldId
is an atom.
(basic_props:atm/1
)
Usage 2: lookup_field_access(Parse,NodenameId,FieldId,FieldId)
Parse
is a parse structure.
(internal_types:parse/1
)
NodenameId
is an atom.
(basic_props:atm/1
)
FieldId
is an atom.
(basic_props:atm/1
)
FieldId
is an atom.
(basic_props:atm/1
)
Parse
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
NodenameId
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
FieldId
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
FieldId
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage 1: lookup_set_def(+Parse,+Name,+Node)
+Parse
is a parse structure.
(internal_types:parse/1
)
+Name
is an atom.
(basic_props:atm/1
)
+Node
is any term.
(basic_props:term/1
)
Usage 2: lookup_set_def(Parse,Name,Node)
Parse
is a parse structure.
(internal_types:parse/1
)
Name
is an atom.
(basic_props:atm/1
)
Node
is any term.
(basic_props:term/1
)
Parse
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Name
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Node
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage 1: lookup_set_prototype(+Parse,+Name,+Interface,+Definition)
+Parse
is a parse structure.
(internal_types:parse/1
)
+Name
is an atom.
(basic_props:atm/1
)
+Interface
is any term.
(basic_props:term/1
)
+Definition
is any term.
(basic_props:term/1
)
Usage 2: lookup_set_prototype(Parse,Name,Interface,Definition)
Parse
is a parse structure.
(internal_types:parse/1
)
Name
is an atom.
(basic_props:atm/1
)
Interface
is any term.
(basic_props:term/1
)
Definition
is any term.
(basic_props:term/1
)
Parse
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Name
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Interface
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Definition
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage 1: lookup_set_extern_prototype(+Parse,+Name,+Interface,+Strings)
+Parse
is a parse structure.
(internal_types:parse/1
)
+Name
is an atom.
(basic_props:atm/1
)
+Interface
is any term.
(basic_props:term/1
)
+Strings
is any term.
(basic_props:term/1
)
Usage 2: lookup_set_extern_prototype(Parse,Name,Interface,Strings)
Parse
is a parse structure.
(internal_types:parse/1
)
Name
is an atom.
(basic_props:atm/1
)
Interface
is any term.
(basic_props:term/1
)
Strings
is any term.
(basic_props:term/1
)
Parse
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Name
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Interface
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Strings
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Go to the first, previous, next, last section, table of contents.