Language peer sets for GHC:
Designed 1985 ↑
1980s languages ↑
Late Cold War↑
Specialised Languages ↑
Specialised Languages/jp ↑
alternate simple view
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
|| Evolution of
|| Evolution of
Ueda, Kazunori (1985) Ueda, Kazunori "Guarded Horn Clauses" Logic Programming '85, Proceedings of the 4th Conference
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)
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.
Han, Shen; Jiro, Tanaka (1990) Han, Shen; Jiro, Tanaka "An Operational Semantics for Full GHC Based on Extended Unification Algorithm"
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"
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
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