15 lines
1.1 KiB
Plaintext
15 lines
1.1 KiB
Plaintext
{{stub}}{{language|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. |