GHC
swMATH ID:  23765 
Software Authors:  Ueda, Kazunori 
Description:  GHC: Guarded Horn clauses. The thesis introduces the programming language Guarded Horn Clauses which is abbreviated to GHC. Guarded Horn Clauses was born from the examination of existing logic programming languages and logic programming in general, with special attention paid to parallelism. The main feature of GHC is its extreme simplicity compared with the other parallel programming languages. GHC is a restriction of a resolutionbased theorem prover for Hornclause sentences. The restriction has two aspects: One is the restriction on data flow caused by unification, and the other is the introduction of choice nondeterminism. The former is essential for a generalpurpose language and it also provides GHC with a synchronization primitive. The latter is required by the intended applications which include a system interacting with the outside world. What is characteristic with GHC is that all the restrictions have been imposed as the semantics given to the sole additional syntactic construct, guard. Although Guarded Horn Clauses can be classified into the family of logic programming languages, it has close relationship to other formalisms including dataflow languages, Communicating Sequential Processes, and functional languages for multiprocessing. Except for the lack of higher order facilities, GHC can be viewed as a generalization of these frameworks. The simplicity and generality of GHC will make it suitable for a standard not only of parallel logic programming languages but of parallel programming languages. Moreover, it is simple enough to be regarded as a computation model as well as a programming language. Attention has always been paid to the possibility of efficient implementation during the design stage of GHC. We showed that stream merging and distribution which are expected to be heavily used can be implemented with the same timecomplexity as the timecomplexity of many toone communication in procedural languages. Furthermore, we made available an efficient compilerbased implementation of a subset of GHC on top of Prolog. GHC has lost the completeness as a theorem prover deliberately, not as a result of compromise. Nevertheless, it can be used for efficient implementation of exhaustive solution search for Horn clause programs. We showed how to automatically compile a Hornclause program for exhaustive search into a GHC program. 
Homepage:  https://link.springer.com/chapter/10.1007%2F3540164790_17 
Keywords:  guarded Horn clauses; parallel logic programming language; parallel algorithms; program transformation; GHC programs 
Related Software:  PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; Oz; REVE; RRL; tccp; CCPi; LUSTRE; SIGNAL; DiSCiPl; TOY; KernelLEAF; Curry; TeaBag; QuickCheck; Maude 
Cited in:  36 Publications 
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH  Year 

Guarded Horn clauses. Zbl 0771.68037 Ueda, Kazunori 
1988

all
top 5
Cited by 55 Authors
all
top 5
Cited in 10 Serials
Cited in 4 Fields
35  Computer science (68XX) 
2  Mathematical logic and foundations (03XX) 
2  Operations research, mathematical programming (90XX) 
1  Category theory; homological algebra (18XX) 