KL1

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Comparison_of_Prolog_implementations/eQHFInTs">Comparison of Prolog implementations</a></li>
<li><a href="/facts/Prolog_syntax_and_semantics/umbG3kbq">Prolog syntax and semantics</a></li></ul>

<ul><li>Ueda, K. (1988). <a href="https://dl.acm.org/doi/abs/10.5555/60661.60683">"Guarded Horn clauses: A parallel logic programming language with the concept of a guard"</a>. <i>Proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers</i>. Elsevier. pp. 441–456. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0444704108.</li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="https://web.archive.org/web/20100812083259/http://www.klic.org/">The KLIC Association</a>, home of the KLIC KL1 to C compiler - last update circa 1999. (The klic.org domain expired and was replaced by a gift company some time between 2010 and 2012; the above link has been adjusted to point to the most recent copy at the <a href="/facts/Internet_Archive/PHStU8Lo">Internet Archive</a>.)</li>
<li><a href="https://www.ueda.info.waseda.ac.jp/software.html">UEDA Lab</a>, who are reviving the KLIC compiler.</li></ul>
<h2 id="further-reading">Further reading</h2>
<ul><li>"Design of the Kernel Language for the Parallel Inference Machine", U. Kazunori et al., Computer J (December 1990).</li></ul>

KL1 open-in-new

KL1