| 摘要 |
PURPOSE:To make it possible to specify a parent module or a grandparent module simultaneously with the specification of a module corresponding to a node or leaf by previously adding the relation of tree structure to a modules including predicate definitions. CONSTITUTION:A programs module is defined by the start 21 and end 24 of a module. In case of declaring the parent module pm1 of a module m1 defined at present, notation 22 is used. In a logical type language program 23 defined in the module, names (a), (p), (b), (c), etc., are used for predicates to be defined. A module 41 is a specific module and has no parent module. Modules 42, 43 have the module m1 as a parent module. A module 44 has the module 42 as a parent module and a module 45 has the module 43 as a parent module.
|
