Kazunori Ueda*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)6-13
Number of pages8
JournalNEC Research and Development
Issue number84
Publication statusPublished - 1987 Jan 1
Externally publishedYes

ASJC Scopus subject areas

  • Electrical and Electronic Engineering


Dive into the research topics of 'INTRODUCTION TO GUARDED HORN CLAUSES.'. Together they form a unique fingerprint.

Cite this