KL1, or Kernel Language 1 is an experimental and-parallel version of KL0 developed for the ICOT Fifth Generation Computer project. KL1 is an implementation of Flat GHC (a subset of the Guarded Horn Clauses language by Kazunori Ueda), making it a parallelised Prolog variant.

References

  • Ueda, K. (1988). "Guarded Horn clauses: A parallel logic programming language with the concept of a guard". Proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers. Elsevier. pp. 441–456. ISBN 0444704108.

External links

Further reading

Categories