JPS6426937A - Execution system for logical language - Google Patents
Execution system for logical languageInfo
- 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
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.
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)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0349010U (en) * | 1989-09-05 | 1991-05-13 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS6063640A (en) * | 1983-09-16 | 1985-04-12 | Nec Corp | Predicate logical type program processor |
-
1987
- 1987-07-23 JP JP62184074A patent/JPS6426937A/en active Pending
Patent Citations (1)
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)
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 |