KL1
Encyclopedia
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.
KL0
Kernel Language 0 is a sequential logic programming language based on Prolog, used in the ICOT Fifth generation computer project....
developed for the ICOT Fifth Generation Computer
Fifth generation computer
The Fifth Generation Computer Systems project was an initiative by Japan'sMinistry of International Trade and Industry, begun in 1982, to create a "fifth generation computer" which was supposed to perform much calculation using massive parallel processing...
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
Prolog is a general purpose 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 declarative: the program logic is expressed in terms of...
variant.
External links
- The KLIC Association, home of the KLIC KL1 to C compiler - last update circa 1999
Further reading
- "Design of the Kernel Language for the Parallel Inference Machine", U. Kazunori et al., Computer J (December 1990).