H ? « ‹ ← → › »

Language peer sets for GOLUX:
United Kingdom↑
United Kingdom/1974↑
Designed 1974 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Specialised Languages ↑
Specialised Languages/1974↑
Specialised Languages/uk ↑

GOLUX(ID:5665/gol005)

alternate simple view
Country: United Kingdom
Designed 1974
Sammet category: Specialised Languages

reflective declarative language

Hayes, 1974

named for the denizen in James Turber's 13 Clocks?
Related languages
ABSYS → GOLUX   Influence
References:
  • Hayes, P. J. (1970) Hayes, P. J. "Robotologic"
          in (1970) "Machine Intelligence 5", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press 1970
  • Hayes, P. J. (1971) Hayes, P. J. "A Logic of Actions"
          in (1971) "Machine Intelligence 6", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1971
  • P. J. Hayes, (1971) P. J. Hayes, "The Frame Problem and Related Problems in Artificial Intelligence," Stanford AI Lab, AIM 153, 1971.
          in (1971) "Machine Intelligence 6", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1971
  • Hayes, P. J. (1973) Hayes, P. J. "Computation and Deduction"
          in Proc. (1973) Proc. MFCS Symposium, Czech. Acad. of Sciences 1973
  • Hayes P. (1974) Hayes P. "The Language GOLUX". University of Essex Report. Essex, UK, 1974.
          in Proc. (1973) Proc. MFCS Symposium, Czech. Acad. of Sciences 1973
  • Hayes, Pat (1974) Hayes, Pat "The Language GOLUX" PhD thesis, University of Essex, 1974.
          in Proc. (1973) Proc. MFCS Symposium, Czech. Acad. of Sciences 1973
  • P. J. Hayes, (1974) P. J. Hayes, "Some Problems and Non­Problems in Representation Theory," pp. 63­-79.
          in [Proceedings] (1974) Proceedings of the AISB Summer Conference, 1974
  • Hayes, P. J. (1977) Hayes, P. J. "In Defence of Logic," pp559­-565
          in [Proceedings] (1977) Proceedings of the 5th International Joint Conference on Artificial Intelligence IJCAI-77, MIT, Cambridge, Mass., August, 1977
  • (1980) Doyle PhD Thesis 1980 MIT Extract: History Extract: History
          in [Proceedings] (1977) Proceedings of the 5th International Joint Conference on Artificial Intelligence IJCAI-77, MIT, Cambridge, Mass., August, 1977
  • Kowalski, Robert A. (1988) Kowalski, Robert A. "The early years of logic programming" pp38-43
          in [ACM] (1988) [ACM] CACM 31(01) (Jan 1988).
  • Kriebel, Wolfgang; Rose, Andreas; Schmitt, Dietmar (1998) Kriebel, Wolfgang; Rose, Andreas; Schmitt, Dietmar "Eine Sozial- und Kulturgeschichte der Programmiersprache PROLOG" Berlin, Februar 1998 Extract: Logische Programmiersprachen
          in [ACM] (1988) [ACM] CACM 31(01) (Jan 1988).
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder