SYNC SIGNAL MODEL FOR EFFICIENT DETECTION OF PARALLELISM IN PROLOG PROGRAMS

A model for efficient and user-transparent detection of parallelism from Prolog programs is presented. The model preserves the semantics of Prolog and exploits independent-AND-parallelism. The type checking required for detection of independent-AND-parallelism is made part of unification. The model also achieves clear semantics for detection of independent-AND-parallelism.