Applications of the Aurora Parallel Prolog System to Computational Molecular Biology.
Ewing L. Lusk, Ross Overbeek, Shyam Mudambi, Péter Szeredi · University of North Texas Digital Library (University of North Texas) · 1992
We describe an investigation into the use of the Aurora parallel Prolog system in two applications within the area of computational molecular biology. The computational requirements were large, due to the nature of the applications, and were carried out on a scalable parallel computer, the BBN "Butterfly " TC-2000. Results include both a demonstration that logic programming can be effective in the context of demanding applications on large-scale parallel machines, and some insights into parallel programming in Prolog. 1 Introduction Aurora [8] is an OR-parallel implementation of full Prolog. The system is nearing maturity, and we are beginning to use it for application work. The purpose of this paper is to present the results of our experiences using it for computational molecular biology, an area in which logic programming offers a particularly appropriate technology. The problems encountered in this area can be large in terms of data size and computationally intensive. Therefore o...