Using Dynamic Predicates in an Or--Parallel Prolog System

Péter Szeredi. Using Dynamic Predicates in an Or--Parallel Prolog System. In ISLP. pages 355-371, 1991.

Abstract

Abstract is missing.