Collective Predicates: Expressing Control of OR-Parallelism in Prolog

Rene Quiniou, Laurent Trilling. Collective Predicates: Expressing Control of OR-Parallelism in Prolog. In AIMSA. pages 159-167, 1988.

Abstract

Abstract is missing.