请输入您要查询的百科知识:

 

词条 KL1
释义

  1. External links

  2. Further reading

  3. References

{{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.

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

Further reading

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

References

  • {{cite paper

| author = Ueda, Kazunori
| title = Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard
| date = 1987
| url = http://citeseer.ist.psu.edu/496335.html
| format = PDF
| accessdate = 2007-01-18 }}{{FOLDOC}}{{compu-lang-stub}}

2 : Prolog programming language family|Japanese inventions

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/14 8:31:07