Relational Language
Clark & Gregory
The first parallel logic language to use the concept of committed choice. A forerunner of Parlog.
"A Relational Language for Parallel Programming", K. L. Clark et al, Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, pp.171-178, ACM 1981.