HOME

TheInfoList



OR:

KL1, or Kernel Language 1 is an experimental AND-parallel version of
KL0 Kernel Language 0 (KL0) is a sequential logic programming language based on Prolog, used in the ICOT Fifth generation computer project. See also * Comparison of Prolog implementations * Prolog syntax and semantics References

* Prolog p ...
developed for the ICOT
Fifth Generation Computer The Fifth Generation Computer Systems (FGCS) was a 10-year initiative begun in 1982 by Japan's Ministry of International Trade and Industry (MITI) to create computers using massively parallel computing and logic programming. It aimed to create ...
project. KL1 is an implementation of
Flat GHC Flat or flats may refer to: Architecture * Flat (housing), an apartment in the United Kingdom, Ireland, Australia and other Commonwealth countries Arts and entertainment * Flat (music), a symbol () which denotes a lower pitch * Flat (soldier), ...
(a subset of the
Guarded Horn Clauses "Guarded" is a song by American heavy metal band Disturbed. It was released on June 28, 2005, as a promotional single for their third studio album, '' Ten Thousand Fists''. "Guarded" was the first single featuring their new bassist John Moyer. ...
language by Kazunori Ueda), making it a parallelised
Prolog Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily ...
variant.


References

*


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 The Internet Archive is an American digital library with the stated mission of "universal access to all knowledge". It provides free public access to collections of digitized materials, including websites, software applications/games, music, ...
.)


Further reading

*"Design of the Kernel Language for the Parallel Inference Machine", U. Kazunori et al., Computer J (December 1990). Prolog programming language family Japanese inventions {{compu-lang-stub