Absys fue uno de los primeros lenguajes de programación declarativos de la Universidad de Aberdeen . [1] Anticipó una serie de características de Prolog , como la negación como falla , 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]