KL1, or Kernel Language 1 is an experimental
and-parallel
Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applyin ...
version of
KL0 developed for the
ICOT
The Fifth Generation Computer Systems (FGCS; ) was a 10-year initiative launched in 1982 by Japan's Ministry of International Trade and Industry (MITI) to develop computers based on massively parallel computing and logic programming. The projec ...
Fifth Generation Computer
The Fifth Generation Computer Systems (FGCS; ) was a 10-year initiative launched in 1982 by Japan's Ministry of International Trade and Industry (MITI) to develop computers based on massively parallel computing and logic programming. The projec ...
project. KL1 is an implementation of
Flat GHC
Flat or flats may refer to:
Architecture
* Apartment, known as a flat in the United Kingdom, Ireland, and other Commonwealth countries
Arts and entertainment
* Flat (music), a symbol () which denotes a lower pitch
* Flat (soldier), a two-dimens ...
(a subset of the
Guarded Horn Clauses
Concurrent logic programming is a variant of logic programming designed for parallel computing in which programs are sets of guarded Horn clauses of the form:
:
The conjunction is called the guard of the clause, and is the commitment operator. ...
language by Kazunori Ueda), making it a parallelised
Prolog
Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics.
Prolog has its roots in first-order logic, a formal logic. Unlike many other programming language ...
variant.
See also
*
Comparison of Prolog implementations
The following Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer programming language. A comprehensive discussion of the most significant Pro ...
*
Prolog syntax and semantics
The syntax and semantics of Prolog, a programming language, are the sets of rules that define how a Prolog program is written and how it is interpreted, respectively. The rules are laid out in ISO standard ISO/IEC 13211''ISO/IEC 13211: Informat ...
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 501(c)(3) organization, non-profit organization founded in 1996 by Brewster Kahle that runs a digital library website, archive.org. It provides free access to collections of digitized media including web ...
.)
UEDA Lab who are reviving the KLIC compiler.
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