Fleng

A parallel logic language using commited choice.

"Massively Parallel Implementation of Flat GHC on the Connection Machine", M. Nilsson, Proceedings of the International Conference on Fifth Generation Computing Systems, 1988, pp.1031-1040.