A parallel logic language.["Massively Parallel Implementation of Flat GHC on theConnection Machine", M. Nilsson, Proc Intl Conf on 5th GenComp Sys, 1988, pp.1031-1040].