H ? « ‹ ← → › »

Language peer sets for ABSYS:
United Kingdom↑
United Kingdom/1966↑
Designed 1966 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Horn clause ↑
Specialised Languages ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1966↑
Context-based /1966↑
Data representation/1966↑
Horn clause/United Kingdom↑
Context-based /United Kingdom↑
Data representation/United Kingdom↑
Specialised Languages ↑
Specialised Languages/1966↑
Specialised Languages/uk ↑

ABSYS(ID:357/abs006)

Aberdeen system declarative language 

alternate simple view
Country: United Kingdom
Designed 1966
Published: 1969
Genus: Horn clause
Sammet category: Specialised Languages

Michael Foster, University Aberdeen. Early declarative language, anticipated a number of features of Prolog.

System for localisation of typed variables influential on POP-2 (Popplestone)

Places
Related languages
ABSYS → ABSET   Evolution of
ABSYS → GOLUX   Influence
ABSYS → POP-2   Influence
References:
  • Elcock, E.W. (1968) Elcock, E.W. "Descriptions" pp173-180 Extract: Introduction Extract: Some Comments
          in (1968) Machine Intelligence 3 (ed) Michie, Donald Department of Machine Intelligence and Perception, University of Edinburgh, Edinburgh University Press, 1968
  • Foster, J.M. (1968) Foster, J.M. "Assertions: Programs written without specifying unnecessary order" Extract: Introduction Extract: Assertions Extract: Example 1 Extract: Example 2 Extract: Ordering
          in (1968) Machine Intelligence 3 (ed) Michie, Donald Department of Machine Intelligence and Perception, University of Edinburgh, Edinburgh University Press, 1968
  • J.M. Foster et al, (1969) J.M. Foster et al, "ABSYS 1: An Incremental Compiler for Assertions" Extract: Introduction Extract: The 'AND' Connective Extract: Data Directed Control Extract: Functions Extract: The 'OR' Connective Extract: Recursive Functions and Keys
          in Meltzer, Bernard and Michie, Donald (eds) (1969) Meltzer, Bernard and Michie, Donald (eds) "Machine Intelligence 4" Edinburgh University Press, 1969
  • Leavenworth and Sammet (1974) Leavenworth, Burt M.; Sammet, Jean E. "An overview of nonprocedural languages" pp1-12 Abstract Extract: Absys
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Kowalski, Robert A. (1988) Kowalski, Robert A. "The early years of logic programming" pp38-43 Extract: Absys
          in [ACM] (1988) [ACM] CACM 31(01) (Jan 1988).
  • Cohen, Jacques (1990) Cohen, Jacques "Constraint logic programming languages" CACM 33(07) July 1990 Abstract Online copy Extract: ABSYS
          in [ACM] (1988) [ACM] CACM 31(01) (Jan 1988).
  • Elcock, E. W. (1990) Elcock, E. W. "Absys: the first logic programming language ? A retrospective and a commentary" The Journal of Logic Programming 9(1) July 1990, pp1-17 Abstract Online copy
          in [ACM] (1988) [ACM] CACM 31(01) (Jan 1988).
  • Elcock, E. W. (1991) Elcock, E. W. "Absys, the First Logic-Programming Language: A View of the Inevitability of Logic Programming" pp701-721
          in (1991) Computational Logic - Essays in Honor of Alan Robinson 1991
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder