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.
See also
editReferences
edit- Ueda, K. (1988). "Guarded Horn clauses: A parallel logic programming language with the concept of a guard". Proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers. Elsevier. pp. 441–456. ISBN 0444704108.
External links
edit- 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.)
- UEDA Lab, who are reviving the KLIC compiler.
Further reading
edit- "Design of the Kernel Language for the Parallel Inference Machine", U. Kazunori et al., Computer J (December 1990).
🔥 Top keywords: Akademia e Shkencave e RPS te ShqiperiseAlexandria Ocasio-CortezBilderberg GroupCristiano RonaldoDong XiaowanMinecraftOperation GladioPrimal cutRiot FestStrictly Come Dancing (series 7)Main PageSpecial:SearchKalki 2898 ADWikipedia:Featured picturesJoe BidenDua LipaBronny JamesGavin NewsomProject 2025Donald TrumpHistorical rankings of presidents of the United States.xxxA Quiet Place: Day OneSugababesUEFA Euro 2024Cleopatra2024 NBA draft2024 United States presidential electionRobert F. Kennedy Jr.Deaths in 2024The Bear (TV series)ICC Men's T20 World CupLeBron JamesJ. D. Vance2024 Copa AméricaKevin RowlandNag AshwinGretchen WhitmerCeline DionBentley State LimousineRoe v. WadeYouTubePJ HarveyCallum TurnerDexys Midnight RunnersJill BidenKalkiWell he would, wouldn't he?Siobhán Donaghy