Hispanopedia WikiAbsys fue un lenguaje de programación declarativo temprano de la Universidad de Aberdeen . [ 1 ] Anticipó varias características de Prolog , como la negación como fallo , los operadores de agregación, el papel central del retroceso [ 2 ] y la resolución de restricciones. [ 1 ] Absys fue la primera implementación de un lenguaje de programación lógica . [ 1 ]
El nombre Absys fue elegido como abreviatura de Aberdeen System . [ 1 ]
Véase también
Referencias
- 1 2 3 4 Elcock, EW (1990). "Absys: el primer lenguaje de programación lógica: una retrospectiva y un comentario" . The Journal of Logic Programming . 9 (1): 1– 17. doi : 10.1016/0743-1066(90)90030-9 .
- ↑ Kowalski, RA (1988). "Los primeros años de la programación lógica" (PDF) . Communications of the ACM . 31 : 38. doi : 10.1145/35043.35046 . S2CID 12259230 .
- "ABSYS: Un compilador incremental para aserciones", JM Foster et al., Mach Intell 4, Edinburgh U Press, 1969, págs. 423–429
Categorías :
- lenguajes de programación declarativos
- Familia de lenguajes de programación Prolog
- Lenguajes de programación académica
- Lenguajes de programación lógica
- Lenguajes de programación creados en 1967
