A Prolog interpreter for OR parallelism evaluation on distributed systems.

Vicente Benjumea, Manuel Roldn, Jos M. Troya

Browse the full PDP paper archive.