Institute of Information Theories and Applications FOI ITHEA
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.
* This paper was made according to the program № 14 of fundamental scientific research of the Presidium of the
Russian Academy of Sciences, the project 06-I-П14-052