Absys - Absys
| Paradigma | Logické programování |
|---|---|
| Poprvé se objevil | 1967 |
| Ovlivněno | |
| Prolog | |
Absys bylo brzy deklarativní programovací jazyk z University of Aberdeen.[1] Předpokládal řadu funkcí Prolog jako negace jako selhání, agregační operátoři, ústřední role zpětného sledování[2] a řešení omezení.[1] Absys byla první implementací a logický programovací jazyk.[1]
Název Absys byl vybrán jako zkratka pro Aberdeen System.[1]
Viz také
Reference
- ^ A b C d Elcock, E.W. (1990). „Absys: první logický programovací jazyk - retrospektiva a komentář“. The Journal of Logic Programming. 9 (1): 1–17. doi:10.1016/0743-1066(90)90030-9.
- ^ Kowalski, R. A. (1988). „Počátky logického programování“ (PDF). Komunikace ACM. 31: 38. doi:10.1145/35043.35046.
- „ABSYS: Incremental Compiler for Assertions“, J. M. Foster a kol., Mach Intell 4, Edinburgh U Press, 1969, str. 423–429