Category:KL1: Difference between revisions
No edit summary |
mNo edit summary |
||
(One intermediate revision by the same user not shown) | |||
Line 9: | Line 9: | ||
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. |
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 |
|||
While hardly any working hardware exists, a portable compiler for KL1 called KLIC is available for unix systems available at: https://www.ueda.info.waseda.ac.jp/~ueda/. |
|||
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 |
|||
KLIC compiles KL1 code down to C code that can either run sequentially, or parallel under a shared memory implementation or on-top of the Parallel Virtual Machine software that can be found at: https://www.csm.ornl.gov/pvm/. |
|||
This website is a museum of the research and efforts put into the FGCS containing information on it's development and use. |
Latest revision as of 17:01, 22 June 2020
This programming language may be used to instruct a computer to perform a task.
See Also: |
|
---|
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"
The following 2 pages are in this category, out of 2 total.