Wikipedia

KL1

Also found in: Acronyms, Encyclopedia.
Not to be confused with KL-ONE.
For the Paralympic canoeing classification, see 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.

References

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

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).
This article is copied from an article on Wikipedia® - the free encyclopedia created and edited by its online user community. The text was not checked or edited by anyone on our staff. Although the vast majority of Wikipedia® encyclopedia articles provide accurate and timely information, please do not assume the accuracy of any particular article. This article is distributed under the terms of GNU Free Documentation License.

Copyright © 2003-2025 Farlex, Inc Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.