>>75に自己レス。
オブジェクト指向並列論理言語ではなくて、オブジェクト指向論理言語に訂正。

ちなみに例を挙げれば、
・オブジェクト指向関数型言語：OCaml
・オブジェクト指向並列論理言語：ESP
になるけど、普通はそれぞれ関数型言語、論理型言語と呼ばれているし、それで正しい。