ABSYS
Encyclopedia
ABSYS was an early declarative
Declarative programming
In computer science, declarative programming is a programming paradigm that expresses the logic of a computation without describing its control flow. Many languages applying this style attempt to minimize or eliminate side effects by describing what the program should accomplish, rather than...

 programming language
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....

 from the University of Aberdeen
University of Aberdeen
The University of Aberdeen, an ancient university founded in 1495, in Aberdeen, Scotland, is a British university. It is the third oldest university in Scotland, and the fifth oldest in the United Kingdom and wider English-speaking world...

 which anticipated a number of features of Prolog
Prolog
Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of...

.
The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK