A hardware-intended implementation of Prolog featuring a general solution to the clause indexing problem

Robert M. Colomb. A hardware-intended implementation of Prolog featuring a general solution to the clause indexing problem. PhD thesis, University of New South Wales, Sydney, Australia, 1986. [doi]

Abstract

Abstract is missing.