View source for KL1

{{distinguish | KL-ONE}}
{{for|the Paralympic canoeing classification|KL1 (classification)}}

'''KL1''', or '''Kernel Language 1''' is an experimental [[and-parallel]] version of [[KL0]] developed for the [[ICOT]] [[Fifth Generation Computer]] project. KL1 is an implementation of [[Flat GHC]] (a subset of the [[Guarded Horn Clauses]] language by Kazunori Ueda), making it a parallelised [[Prolog]] variant.

== See also ==
* [[Comparison of Prolog implementations]]
* [[Prolog syntax and semantics]]

==References==
{{refbegin}}
*{{cite book |first=K. |last=Ueda |chapter=Guarded Horn clauses: A parallel logic programming language with the concept of a guard |chapter-url=https://dl.acm.org/doi/abs/10.5555/60661.60683 |title=Proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers |publisher=Elsevier |date=1988 |isbn=0444704108 |pages=441–456 |url=}}
{{refend}}

==External links==
* [https://web.archive.org/web/20100812083259/http://www.klic.org/ The KLIC Association], 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 [[Internet Archive]].)
* [https://www.ueda.info.waseda.ac.jp/software.html UEDA Lab], who are reviving the KLIC compiler.

==Further reading==
*"Design of the Kernel Language for the Parallel Inference Machine", Ueda, K. and Chikayama, T., Computer Journal (1990). 

[[Category:Prolog programming language family]]
[[Category:Japanese inventions]]

{{compu-lang-stub}}