Design and implementation of an or-parallel Prolog engine

Mats Carlsson. Design and implementation of an or-parallel Prolog engine. PhD thesis, Royal Institute of Technology, Stockholm, Sweden, 1990.

Abstract

Abstract is missing.