Absys was an early declarative programming language from the University of Aberdeen. It anticipated a number of features of Prolog such as negation as failure, aggregation operators, the
central role of backtracking and constraint solving. Absys was the first implementation of a logic programming language.
The name Absys was chosen as an abbreviation for Aberdeen System.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.