H ? « ‹ ← → › »

Language peer sets for GHC:
Japan↑
Japan/1985↑
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Specialised Languages ↑
Specialised Languages/1985↑
Specialised Languages/jp ↑

GHC(ID:2063/ghc001)

alternate simple view
Country: Japan
Designed 1985
Sammet category: Specialised Languages

for Guarded Horn Clauses.

K. Ueda, NEC, 1985

Parallel logic language similar to Parlog. Guards and committed-choice nondeterminism. Implicit dataflow capabilities, realised on a dataflow computer at RMIT in 1989

Related languages
Prolog → GHC   Evolution of
GHC → FGHC   Evolution of
References:
  • Ueda, Kazunori (1985) Ueda, Kazunori "Guarded Horn Clauses" Logic Programming '85, Proceedings of the 4th Conference Abstract Online copy
  • Ueda, Kazunori (1985) Ueda, Kazunori "Guarded Horn Clauses" Technical Report TR-103 CC Systems Research Laboratories, NEC Corporation June 1985
  • K. Ueda, (1986) K. Ueda, "Guarded Horn Clauses," Doctor of Engineering Thesis, University of Tokyo, Tokyo, (March 1986) Abstract Online copy
  • Rawling, M.W. (1989) Rawling, M.W. "GHC on the CSIRAC II Dataflow Computer," Tech. Report TR 118-90 R, Dept. of Comm. and Electrical Eng., Royal Melbourne Inst. of Technology, Australia, 1989
  • Ueda, K. (1989) Ueda, K. "Parallelism in logic programming" Technical Report TR-495, Institute for New Generation Computer Technology (ICOT), Tokyo, Japan. 1989. Abstract Online copy
  • Han, Shen; Jiro, Tanaka (1990) Han, Shen; Jiro, Tanaka "An Operational Semantics for Full GHC Based on Extended Unification Algorithm" Abstract
          in (1990) IPSJ SIGNotes Programming Language No.027 - 006
  • Tanaka Jiro, Ohta Yukiko (1992) Tanaka Jiro, Ohta Yukiko "Visual GHC Program Input System: FE '92" Abstract
          in (1992) IPSJ SIGNotes Programming Language No.027 - 007
  • Whiting, Paul G. and Pascoe, Robert S. V. (1994) Whiting, Paul G. and Pascoe, Robert S. V. "A History of Data-Flow Languages" pp38-59 Extract:
          in (1994) Annals of the History of Computing 16(4) Winter 1994
  • Skillicorn, David B. and Talia, Domenico (1998) Skillicorn, David B. and Talia, Domenico "Models and languages for parallel computation" pp123-169
          in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder