I.C. Prolog II: a Multi-threaded Prolog System.

Published in: ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems (1993)