KL1

From Wikipedia, the free encyclopedia

KL1, or Kernel Language 1 is an experimental AND-parallel version of KL0 for the ICOT Fifth Generation Computer project. KL1 is an implementation of FGHC (Flat Guarded Horn Clause) semantics.

Not to be confused with KL-ONE.

[edit] External links

[edit] Further reading

  • "Design of the Kernel Language for the Parallel Inference Machine", U. Kazunori et al, Computer J (Dec 1990).

[edit] References

This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.