JPS6426937A - Execution system for logical language - Google Patents

Execution system for logical language

Info

Publication number
JPS6426937A
JPS6426937A JP62184074A JP18407487A JPS6426937A JP S6426937 A JPS6426937 A JP S6426937A JP 62184074 A JP62184074 A JP 62184074A JP 18407487 A JP18407487 A JP 18407487A JP S6426937 A JPS6426937 A JP S6426937A
Authority
JP
Japan
Prior art keywords
prolog
task
application program
data base
fact data
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
JP62184074A
Other languages
Japanese (ja)
Inventor
Kenzo Kobayashi
Michio Sasaki
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.)
Mitsubishi Electric Corp
Original Assignee
Mitsubishi Electric 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 Mitsubishi Electric Corp filed Critical Mitsubishi Electric Corp
Priority to JP62184074A priority Critical patent/JPS6426937A/en
Priority to KR1019880006174A priority patent/KR920002853B1/en
Priority to FR8807451A priority patent/FR2616244B1/en
Publication of JPS6426937A publication Critical patent/JPS6426937A/en
Priority to US07/579,249 priority patent/US5129081A/en
Pending legal-status Critical Current

Links

Abstract

PURPOSE:To facilitate the production of an application program of a large scale by using a fact data base of a same predicate type that can be shared by the processing systems of different prologs. CONSTITUTION:A processor 11 for task A includes a prolog processing system 12, a prolog application program 13, and a predicate type fact data base 14 exclusive for task A. While a processor 21 for task B includes a prolog processing system 22, a prolog application program 23, and a predicate type fact data base 24 exclusive for task B. A shared predicate type fact data base 30 receives accesses from both programs 13 and 23 via the predicates added with special codes in their preceding positions with distinction secured from the accesses of both bases 14 and 24. Thus it is possible to produce easily an application program of a large scale with the advantages of a prolog language kept as they are.
JP62184074A 1987-06-03 1987-07-23 Execution system for logical language Pending JPS6426937A (en)

Priority Applications (4)

Application Number Priority Date Filing Date Title
JP62184074A JPS6426937A (en) 1987-07-23 1987-07-23 Execution system for logical language
KR1019880006174A KR920002853B1 (en) 1987-06-03 1988-05-26 Data processing method for logic type language
FR8807451A FR2616244B1 (en) 1987-06-03 1988-06-03 SYSTEM FOR PROCESSING DATA USING LOGICAL LANGUAGE
US07/579,249 US5129081A (en) 1987-06-03 1990-09-06 System for processing data using logic language

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP62184074A JPS6426937A (en) 1987-07-23 1987-07-23 Execution system for logical language

Publications (1)

Publication Number Publication Date
JPS6426937A true JPS6426937A (en) 1989-01-30

Family

ID=16146927

Family Applications (1)

Application Number Title Priority Date Filing Date
JP62184074A Pending JPS6426937A (en) 1987-06-03 1987-07-23 Execution system for logical language

Country Status (1)

Country Link
JP (1) JPS6426937A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0349010U (en) * 1989-09-05 1991-05-13

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS6063640A (en) * 1983-09-16 1985-04-12 Nec Corp Predicate logical type program processor

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS6063640A (en) * 1983-09-16 1985-04-12 Nec Corp Predicate logical type program processor

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0349010U (en) * 1989-09-05 1991-05-13

Similar Documents

Publication Publication Date Title
ATE125966T1 (en) STAFFED METHOD FOR EXECUTING NESTED LOOP IN MULTI-PROCESSOR COMPUTERS.
GB2297180A (en) Method and apparatus for parallel processing in a database system
ATE171554T1 (en) APPARATUS FOR EXECUTING MULTIPLE PROGRAM PARTS WITH DIFFERENT OBJECT CODE TYPES IN A SINGLE PROGRAM OR IN A PROCESSOR ENVIRONMENT
EP0079393A4 (en) Figure processing method.
JPS6426937A (en) Execution system for logical language
EP0270983A3 (en) Method for the parallel simulation of multiprocessor computer systems
DE69033122D1 (en) Arrangement and method for translating virtual addresses of misaligned double words
ATE175282T1 (en) TARGETED RESETS IN A DATA PROCESSOR
JPS6472237A (en) Address calculation system
JPS53142808A (en) Control system for multiprocessor
JPS5278334A (en) Program sequence check system
JPS57111639A (en) Program debugging system
JPS6415862A (en) Multi-processor schedule system
JPS5242044A (en) Data processing system
JPS5222844A (en) Control method to control other unit in the multiple data processing system
JPS5557953A (en) Dispatching control system of virtual computer system
Molonov et al. A systems approach to modeling distributed computing systems.
Kalyanov Data flow analysis of programs for parallel computing systems with common control.
JPS54534A (en) Advance control system of instruction in information processor
JPS5528114A (en) Display system of program execution level
JPS6441034A (en) Data processor
JPS6464023A (en) Program executing system
JPS5448140A (en) Graphic processing microprocessor and graphic process system using the said processor
McGarry et al. Experiments in software engineering technology: Recent studies in the SEL(1990-1991)
EP0404316A3 (en) Multiprocessor data processing system