GUARDED HORN CLAUSES AND EXPERIENCES WITH PARALLEL LOGIC PROGRAMMING.

Jiro Tanaka, Kazunori Ueda, Toshihiko Miyazaki, Akikazu Takeuchi, Yuji Matsumoto, Koichi Furukawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

An overview is presented of the various activities of ICOT related to guarded Horn clauses (GHC). A description is presented of the GHC parallel logic language first proposed by K. Ueda (1986). The main features of this of language are its simplicity and ease of implementation. The implementation of GHC and programming efforts in the language are also described. The current status of Kernel Language Version 1 (KL1) is summarized. KL1 is the language system for the PIM (parallel inference machine) hardware. The overall structure of KL1 and the work on its distributed implementation are described.

Original languageEnglish
Title of host publicationUnknown Host Publication Title
EditorsHarold S. Stone
PublisherIEEE
Pages948-954
Number of pages7
ISBN (Print)0818607432
Publication statusPublished - 1986 Dec 1

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Tanaka, J., Ueda, K., Miyazaki, T., Takeuchi, A., Matsumoto, Y., & Furukawa, K. (1986). GUARDED HORN CLAUSES AND EXPERIENCES WITH PARALLEL LOGIC PROGRAMMING. In H. S. Stone (Ed.), Unknown Host Publication Title (pp. 948-954). IEEE.