JPS6418847A - Logical language processor - Google Patents
Logical language processorInfo
- Publication number
- JPS6418847A JPS6418847A JP17537587A JP17537587A JPS6418847A JP S6418847 A JPS6418847 A JP S6418847A JP 17537587 A JP17537587 A JP 17537587A JP 17537587 A JP17537587 A JP 17537587A JP S6418847 A JPS6418847 A JP S6418847A
- Authority
- JP
- Japan
- Prior art keywords
- predicate
- program
- information table
- clause
- instruction
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
PURPOSE:To back up the development of a program with high efficiency with prolog characteristics maintained by performing the dynamic addition and deletion of clauses even to a prolog program which performs the translation and then the execution. CONSTITUTION:An execution processor 21 takes an indexing instruction train 202 out of a designated predicate information table 201. The control is shifted as necessary to the instruction trains against the clauses 203-1,..., 203-i,..., 203-n. In case a clause is registered to a predicate during the run of a program, an indexing instruction 202 is canceled to said predicate. The new clause is added to the end of the clause under registration. While a translation processor 22 takes a predicate information table out of the head of a list registered into a table stored in an untranslated predicate register memory 205 and registers the indexing instruction train corresponding to said predicate into a predicate information table 201.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP17537587A JPS6418847A (en) | 1987-07-13 | 1987-07-13 | Logical language processor |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP17537587A JPS6418847A (en) | 1987-07-13 | 1987-07-13 | Logical language processor |
Publications (1)
Publication Number | Publication Date |
---|---|
JPS6418847A true JPS6418847A (en) | 1989-01-23 |
Family
ID=15995002
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP17537587A Pending JPS6418847A (en) | 1987-07-13 | 1987-07-13 | Logical language processor |
Country Status (1)
Country | Link |
---|---|
JP (1) | JPS6418847A (en) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5169654A (en) * | 1989-12-29 | 1992-12-08 | Nissei Asb Machine Co., Ltd. | Blow molding apparatus |
US5261809A (en) * | 1991-07-30 | 1993-11-16 | Nissei Asb Machine Co., Ltd. | Blow molding apparatus varying pitch between holding plate rows |
-
1987
- 1987-07-13 JP JP17537587A patent/JPS6418847A/en active Pending
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5169654A (en) * | 1989-12-29 | 1992-12-08 | Nissei Asb Machine Co., Ltd. | Blow molding apparatus |
US5362437A (en) * | 1989-12-29 | 1994-11-08 | Nissei Asb Machine Co., Ltd. | Blow molding method |
US5261809A (en) * | 1991-07-30 | 1993-11-16 | Nissei Asb Machine Co., Ltd. | Blow molding apparatus varying pitch between holding plate rows |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JPS6418847A (en) | Logical language processor | |
GB1407761A (en) | Problem oriented language translator and source code generator | |
SE7714082L (en) | SHUTDOWN CONSTRUCTION FOR A NUCLEAR REACTOR | |
JPS6470838A (en) | Exclusive control system | |
JPS5569856A (en) | Overlap system | |
Wade et al. | A general-purpose high-level language machine for minicomputers | |
JPS641033A (en) | Computer device | |
JPS6437629A (en) | Program filing system for intermediate language | |
Peck | Tuning Oracle SQL statements. | |
Plat et al. | A formal transformation from the BSI/VDM-SL concrete syntax to the core abstract syntax | |
JPS5723154A (en) | Test debugging device for program | |
JPS641031A (en) | Data processor | |
MAGNUSON | Project RMAG: SLANG(structured language) compiler. User's guide | |
JPS5437645A (en) | Computer system | |
JPS6476131A (en) | Method for checking test program | |
SU659416A1 (en) | Device for drawing closed curves | |
EP0194822A3 (en) | Methods of and apparatus for compiling high-level language statements into low-level language instruction sets | |
Braun | BASIC is alive and-well? | |
JPS576943A (en) | Microprogram control unit | |
MELTON et al. | FORTRAN Automated Verification System(FAUS). Volume 3: DMATRAN users guide[Final Technical Report, Oct. 1976- Jan. 1978] | |
Dardess | Zhu Yuanzhang and Early Ming Legislation: The Reordering of Chinese Society Following the Era of Mongol Rule. Sinica Leidensia, vol. 34 | |
CERI et al. | Translation and optimization of logic queries: The algebraic approach((data bases)) | |
BEAVER | Dynamic techniques for restructuring the conceptual schema- an implementation[M. S. Thesis] | |
Cocalis | German--Elias Canetti by Thomas H. Falk | |
HARRIS | Natural language data base query: Using the data base itself as the definition of world knowledge and as an extension of the dictionary[Technical Report, Jan. 1976- Feb. 1977] |