FCP

Flat Concurrent Prolog

"Design and Implementation of Flat Concurrent Prolog", C. Mierowsky, TR CS84-21 Weizmann Institute, Dec 1984.