The Aurora or-parallel Prolog system

Ewing L. Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross A. Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, P├ęter Szeredi, Seif Haridi. The Aurora or-parallel Prolog system. New Generation Comput., 7(2-3):243-271, 1990. [doi]

Abstract

Abstract is missing.