A subset of concurrent prolog and its interpreter
by Ehud Y. Shapiro
(ICOT technical report, TR-003)
ICOT, Institute for New Generation Computer Technology, 1983.2
ICOT, Institute for New Generation Computer Technology 1983-