Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Concurrent logic programming
open-in-new
<h2 id="history">History</h2> <p>The first concurrent logic programming language was the Relational Language of <a href="/facts/Keith_Clark_(computer_scientist)/GM2f2CRc">Keith L. Clark</a> and Steve Gregory, which was an offshoot of IC-Prolog. Later versions of concurrent logic programming include <a href="/facts/Ehud_Shapiro/U9EfjVqU">Ehud Shapiro</a>'s Concurrent Prolog and Ueda's Guarded Horn Clause language. </p><p>The development of concurrent logic programming was given an impetus when Guarded Horn Clause was used to implement <a href="/facts/KL1/3WdXy1cc">KL1</a>, the systems programming language of the <a href="/facts/Fifth_generation_computer/UNNg0UEe">Japanese Fifth Generation Project (FGCS)</a>. The FGCS Project was a $400M initiative by Japan's <a href="/facts/Ministry_of_International_Trade_and_Industry/fTFvLVa6">Ministry of International Trade and Industry</a>, begun in 1982, to use massively <a href="/facts/Parallel_computing/nQzcpzQt">parallel computing</a>/processing for <a href="/facts/Artificial_intelligence/lJGauQwX">artificial intelligence</a> applications. The choice of concurrent logic programming as the “missing link” between the hardware and the applications was influenced by a visit to the FGCS Project in 1982 by Ehud Shapiro, who invented Concurrent Prolog. </p> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Concurrent_constraint_logic_programming/txgnB9Br">Concurrent constraint logic programming</a></li> <li><a href="/facts/Logic_programming/Xgh8lj3F">Logic programming</a></li> <li><a href="/facts/Nondeterministic_programming/XRRlHhKn">Nondeterministic programming</a></li></ul> <ul><li><a href="/facts/Keith_Leonard_Clark/GM2f2CRc">Clark, Keith Leonard</a>; Gregory, Steve (1981). <a href="https://dl.acm.org/citation.cfm?id=806776"><i>A relational language for parallel programming</i></a>. Proceedings of the 1981 conference on Functional programming languages and computer architecture. <a href="/facts/Association_for_Computing_Machinery/abI2atlP">Association for Computing Machinery</a>. pp. 171–178.</li></ul>