KL1, or Kernel Language 1 is an experimental
AND-parallel version of
KL0 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 (a subset of the
Guarded Horn Clauses 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