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

Published in: ICLP-Workshops on Implementation of Logic Programming Systems (1993)