INTRODUCTION TO GUARDED HORN CLAUSES.

Kazunori Ueda*

*この研究の対応する著者

研究成果: Article査読

抄録

This paper informally introduces the programming language Guarded Horn Clauses (GHC) through program examples. GHC is a parallel programming language devised from investigation of the basic framework and practice of logic programming. It introduces the guard construct with simple semantics into logic programming to express interacting processes. A GHC program naturally expresses parallelism inherent in the original problem. The simple and uniform framework of GHC should be far easier to understand than the constructs of conventional parallel programming languages. We explain GHC in comparison with Prolog, the best-known logic programming language.

本文言語English
ページ(範囲)6-13
ページ数8
ジャーナルNEC Research and Development
84
出版ステータスPublished - 1987 1 1
外部発表はい

ASJC Scopus subject areas

  • 電子工学および電気工学

フィンガープリント

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

引用スタイル