KL1
From Wikipedia, the free encyclopedia
Not to be confused with KL-ONE.
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.
[edit] External links
- The KLIC Association, home of the KLIC KL1 to C compiler - last update circa 1999
[edit] Further reading
- "Design of the Kernel Language for the Parallel Inference Machine", U. Kazunori et al, Computer J (Dec 1990).
[edit] References
- Ueda, Kazunori (1987). "Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard" (PDF). Retrieved on 2007-01-18.
This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.
