CONCURRENT PROLOG

Concurrent Prologは、1983年に発表された並行論理プログラミング言語である。イスラエルWeizmann研究所のEhud Shapiroにより設計された。それ以前に開発されたRelational Languageをより単純化し、制限を緩めた言語で、その後の並行論理プログラミング言語に大きな影響を与えた。また、並行論理プログラミングでの様々なプログラミング手法がConcurrent Prolog上で開発された。