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