We have implemented a prototype software simulator for FGHC: Flat Guarded Horn Clauses, This simulator executes a pre-processed FGHC program in a distributed environment. In this paper, we describe the distributed com...
详细信息
It is already known that a Concurrent Prolog program can be compiled into an equivalent Prolog program. Using a Concurrent Prolog interpreter written in Prolog, we converted Concurrent Prolog programs step by step to ...
详细信息
A relational knowledge base model and an architecture which manipulates the model are presented. An item stored in the relational knowledge base is called a term. A unification operation on terms in the relational kno...
ISBN:
(纸本)9780818607196
A relational knowledge base model and an architecture which manipulates the model are presented. An item stored in the relational knowledge base is called a term. A unification operation on terms in the relational knowledge base is used as the retrieval mechanism. The relational knowledge base architecture we propose consists of a number of unification engines, several disk systems, a control processor, and a multiport page-memory. The system has a knowledge compiler to support a variety of knowledge representations.
This paper presents a methodology for constructing a deductive database system consisting of an intensional processor and a relational database management system. A setting evaluation approach is introduced. The inten...
详细信息
This paper presents a methodology for constructing a deductive database system consisting of an intensional processor and a relational database management system. A setting evaluation approach is introduced. The intensional processor derives a setting from the in-tensional database and a given goal and sends the setting and the relationship between setting elements to the management system. The management system performs a unit resolution with setting using relational operations for the extensional databases. An extended least fixed point operation is introduced to terminate all types of recursive queries.
This paper proposes a Reduction-based Parallel Inference Machine: PIM-R and describes the architecture and its evaluation using two kinds of software simulators. Target languages of PIM-R are Prolog and Concurrent Pro...
详细信息
This paper describes static and dynamic characteristics of programs written in ESP (Extended Self-contained Prolog) running on PSI (Personal Sequential Inference machine). All the software modules on PSI are written i...
详细信息
暂无评论