<language> OR-parallel logic programming.
[Details?]
(1995-03-16)
Try this search on Wikipedia, OneLook, Google