GUARDED HORN CLAUSES AND EXPERIENCES WITH PARALLEL LOGIC PROGRAMMING.

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

研究成果: Conference contribution

7 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルUnknown Host Publication Title
編集者Harold S. Stone
出版社IEEE
ページ948-954
ページ数7
ISBN(印刷版)0818607432
出版ステータスPublished - 1986 12 1
外部発表はい

ASJC Scopus subject areas

  • Engineering(all)

フィンガープリント 「GUARDED HORN CLAUSES AND EXPERIENCES WITH PARALLEL LOGIC PROGRAMMING.」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル