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
|