From Rosetta Code
(Redirected from KL1)
This page is a stub. It needs more information! You can help Rosetta Code by filling it in!
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.

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:

Additional information on KL1 and the Fifth Generation Computer Project can be found at:

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"

The following 2 pages are in this category, out of 2 total.