Collective Predicates: Expressing Control of OR-Parallelism in Prolog.

Rene Quiniou, Laurent Trilling

Browse the full AIMSA paper archive.