JPS6418847A - Logical language processor - Google Patents

Logical language processor

Info

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
Application number
JP17537587A
Other languages
Japanese (ja)
Inventor
Atsushi Shin
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Priority to JP17537587A priority Critical patent/JPS6418847A/en
Publication of JPS6418847A publication Critical patent/JPS6418847A/en
Pending legal-status Critical Current

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.
JP17537587A 1987-07-13 1987-07-13 Logical language processor Pending JPS6418847A (en)

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)

* Cited by examiner, † Cited by third party
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

Cited By (3)

* Cited by examiner, † Cited by third party
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]