BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence

T. J. Reynolds, Petros Kefalas. BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. In Andrei Voronkov, editor, Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings. Volume 592 of Lecture Notes in Computer Science, pages 415-432, Springer, 1991.

Abstract

Abstract is missing.