Abstract: The article describes the research aimed at working out a program system for multiprocessor computers. The system is based on the confluent declarative production system. The article defines some schemes of parallel logical inference and conditions affecting scheme choice. Keywords: Logical Inference, parallel rule-based systems ACM Classification Keywords: D 3.2 – Constraint and logic languages, I 2.5 Expert system tools and techniques.

Link:

PARALLELIZATION OF LOGICAL INFERENCE FOR CONFLUENT RULE-BASED SYSTEM1

Irene Artemieva, Michael Tyutyunnik

http://www.foibg.com/ibs_isc/ibs-01/IBS-01-p11.pdf