KL1: Difference between revisions
Jump to navigation
Jump to search
imported>TimothyBlue →References: add |
imported>DrPort Correcting the authors of the reference to a Computer Journal article. |
||
| Line 18: | Line 18: | ||
==Further reading== | ==Further reading== | ||
*"Design of the Kernel Language for the Parallel Inference Machine", | *"Design of the Kernel Language for the Parallel Inference Machine", Ueda, K. and Chikayama, T., Computer Journal (1990). | ||
[[Category:Prolog programming language family]] | [[Category:Prolog programming language family]] | ||
Latest revision as of 22:32, 28 September 2025
Script error: No such module "Distinguish". Script error: No such module "For".
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
References
- Script error: No such module "citation/CS1".
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.)
- 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).
- REDIRECT Template:Prog-lang-stub