Absis

Absys fue uno de los primeros lenguajes de programación declarativos de la Universidad de Aberdeen. Anticipó una serie de características de Prolog, como la negación como falla, los operadores de agregación, el papel central del backtracking y la resolución de restricciones. Absys fue la primera implementación de un lenguaje de programación lógico.

Se eligió el nombre Absys como abreviatura de Aberdeen System.