Multi-threading inside prolog for knowledge-based enterprise applications

Authors:
Masanobu Umeda;Keiichi Katamine;Isao Nagasawa;Masaaki Hashimoto;Osamu Takata
Affiliations:
Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology, Iizuka, Fukuoka, Japan;Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology, Iizuka, Fukuoka, Japan;Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology, Iizuka, Fukuoka, Japan;Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology, Iizuka, Fukuoka, Japan;Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology, Iizuka, Fukuoka, Japan
Venue:
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Year:
2005

Citing 5
Cited 0

Warren's abstract machine: a tutorial reconstruction

Warren's abstract machine: a tutorial reconstruction
Concurrency in Prolog using threads and a shared database

Proceedings of the 1999 international conference on Logic programming
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog

PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Multi-threading and message communication in Qu-Prolog

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

A knowledge-based system is suitable for realizing advanced functions that require domain-specific expert knowledge in enterprise-mission-critical information systems (enterprise applications). This paper describes a newly implemented multi-threaded Prolog system that evolves single-threaded Inside Prolog. It is intended as a means to apply a knowledge-based system written in Prolog to an enterprise application. It realizes a high degree of parallelism on an SMP system by minimizing mutual exclusion for scalability essential in enterprise use. Also briefly introduced is the knowledge processing server which is a framework for operating a knowledge-based system written in Prolog with an enterprise application. Experimental results indicated that on an SMP system the multi-threaded Prolog could achieve a high degree of parallelism while the server could obtain scalability. The application of the server to clinical decision support in a hospital information system also demonstrated that the multi-threaded Prolog and the server were sufficiently robust for use in an enterprise application.