I'm working on modernizing Rosetta Code's infrastructure. Starting with communications. Please accept this time-limited open invite to RC's Slack.. --Michael Mol (talk) 20:59, 30 May 2020 (UTC)

Category:KL1

From Rosetta Code
This page is a stub. It needs more information! You can help Rosetta Code by filling it in!
Language
KL1
This programming language may be used to instruct a computer to perform a task.
See Also:


Listed below are all of the tasks on Rosetta Code which have been solved using KL1.
Your Help Needed
If you know KL1, please write code for some of the tasks not implemented in KL1.

KL1 is a parallel logic programming language created for use with the Fifth Generation Computer System started in Japan in 1982.

KL1 programs are constructed from Guarded Horn Clauses which have the form of: Goal(Arguments) :- Guard | Body.

When executing a goal, all of the subgoals in the body are executed in parallel. If one of the subgoals requires a value as part of its guard that has not been initiated yet, then it will sleep until that variable has been initiated.

KL1 uses an actor model where threads of execution are just mutually recursive goal inferences, and messages are shared between threads via shared variables that normally take the form of a cons list.

The current implementation for KL1 is KLIC and can be found at: http://rosettacode.org/wiki/KLIC

Additional information on KL1 and the Fifth Generation Computer Project can be found at: https://www.ueda.info.waseda.ac.jp/AITEC_ICOT_ARCHIVES/ICOT/HomePage.html

This website is a museum of the research and efforts put into the FGCS containing information on it's development and use.

Pages in category "KL1"

This category contains only the following page.