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
出版場所New York, NY, USA
出版者IEEE
ページ948-954
ページ数7
ISBN(印刷物)0818607432
出版物ステータスPublished - 1986
外部発表Yes

Fingerprint

Parallel programming
Logic programming
Hardware

ASJC Scopus subject areas

  • Engineering(all)

これを引用

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

GUARDED HORN CLAUSES AND EXPERIENCES WITH PARALLEL LOGIC PROGRAMMING. / Tanaka, Jiro; Ueda, Kazunori; Miyazaki, Toshihiko; Takeuchi, Akikazu; Matsumoto, Yuji; Furukawa, Koichi.

Unknown Host Publication Title. 版 / Harold S. Stone. New York, NY, USA : IEEE, 1986. p. 948-954.

研究成果: Conference contribution

Tanaka, J, Ueda, K, Miyazaki, T, Takeuchi, A, Matsumoto, Y & Furukawa, K 1986, GUARDED HORN CLAUSES AND EXPERIENCES WITH PARALLEL LOGIC PROGRAMMING. : HS Stone (版), Unknown Host Publication Title. IEEE, New York, NY, USA, pp. 948-954.
Tanaka J, Ueda K, Miyazaki T, Takeuchi A, Matsumoto Y, Furukawa K. GUARDED HORN CLAUSES AND EXPERIENCES WITH PARALLEL LOGIC PROGRAMMING. : Stone HS, 編集者, Unknown Host Publication Title. New York, NY, USA: IEEE. 1986. p. 948-954
Tanaka, Jiro ; Ueda, Kazunori ; Miyazaki, Toshihiko ; Takeuchi, Akikazu ; Matsumoto, Yuji ; Furukawa, Koichi. / GUARDED HORN CLAUSES AND EXPERIENCES WITH PARALLEL LOGIC PROGRAMMING. Unknown Host Publication Title. 編集者 / Harold S. Stone. New York, NY, USA : IEEE, 1986. pp. 948-954
@inproceedings{6229f243dc3442319249d8634ef558ee,
title = "GUARDED HORN CLAUSES AND EXPERIENCES WITH PARALLEL LOGIC PROGRAMMING.",
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.",
author = "Jiro Tanaka and Kazunori Ueda and Toshihiko Miyazaki and Akikazu Takeuchi and Yuji Matsumoto and Koichi Furukawa",
year = "1986",
language = "English",
isbn = "0818607432",
pages = "948--954",
editor = "Stone, {Harold S.}",
booktitle = "Unknown Host Publication Title",
publisher = "IEEE",

}

TY - GEN

T1 - GUARDED HORN CLAUSES AND EXPERIENCES WITH PARALLEL LOGIC PROGRAMMING.

AU - Tanaka, Jiro

AU - Ueda, Kazunori

AU - Miyazaki, Toshihiko

AU - Takeuchi, Akikazu

AU - Matsumoto, Yuji

AU - Furukawa, Koichi

PY - 1986

Y1 - 1986

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0022863872&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0022863872&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0022863872

SN - 0818607432

SP - 948

EP - 954

BT - Unknown Host Publication Title

A2 - Stone, Harold S.

PB - IEEE

CY - New York, NY, USA

ER -