KL1

From Wikipedia, the free encyclopedia
Not to be confused with KL-ONE.
For the Paralympic canoeing classification, see KL1 (classification).

KL1, or Kernel Language 1 is an experimental version of KL0 developed for the Fifth Generation Computer project. KL1 is an implementation of (a subset of the language by Kazunori Ueda), making it a parallelised Prolog variant.

References[]

  • Ueda, Kazunori (1987). "Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard". CiteSeerX 10.1.1.25.2460. Cite journal requires |journal= (help)

External links[]

  • 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.)

Further reading[]

  • "Design of the Kernel Language for the Parallel Inference Machine", U. Kazunori et al., Computer J (December 1990).
Stub icon

This programming-language-related article is a stub. You can help Wikipedia by .

  • v
  • t
Retrieved from ""