Topologies for the parallel backtracking Prolog engine

ABSTRACT

Some multicomputer networks for the implementation of the PBPE, a Parallel Backtracking Prolog Engine designed at the University of Bari, Italy, are considered. Two main subsystems, one for the management of clauses and another for interpretation of Prolog, each having its own topology, have to be connected together. An evaluation of different interconnection structures, aiming at using one single type of building block, is drawn taking into account the particular communication requirements of the PBPE. An experimental application using a variable number of transputers, linked in some of the topologies examined, is being developed.

REFERENCES

• 1: M. De Blasi, A. Gentile, G. Lopez, A. France, Parallel Backtracking Prolog Engine, Microprocessing and Microprogramming 24 (1988) 697-612.
• 2: M. De Blasi, A. Gentile, G. Peuella, Co-processor Architecture for Prolog, Proc. First Biennial Meeting CMU on Microprocessor Advanced Architectures and Design Methodologies, 1986.
• 3: M. De Blasi, A. Gentile, A Co-processor for Unification in Prolog: the Microprogramming Level, 13th Euromicro Symposyum on Microprocessing and Microprogramming, 1987.
• 4: M. De Blasi, A. Gentile, F. Cuteri, G. Lopez, Measurements and Tuning of Computer Architectures for Logic Programming, Mini and Microcomputers and their Applications, 1988.
• 5: Nils J. Nilsson, Problem-Solving Methods in Artificial Intelligence, McGraw-Hill Pub. Co., 1971
• 6: John S. Conery, Parallel execution of logic programs, Kluwer Academic Publishers, Norwell, MA, 1986
• 7: A. Walker (ed.), M. McCord, J. F. Sowa, W. G. Wilson, Knowledge Systems and Prolog, Addison-Wesley, 1987.

INDEX TERMS

Keywords:
Occam, Prolog machines, backup or-parallelism, coprocessors, distributed systems, multicomputer networks, topologies, transputers