| | The Encyclopedia of Computer Languages (Site not responding. Last check: ) |
 | | Absys 1 (Absys standing for Aberdeeb System) is a working on-line incremental compiler written by the Computer Research Group at Aberdeen for the Elliott 4120. |
 | | Absys 1 distributes the and, or connectives in a way which attempts to minimise unnecessary duplication of processing. |
 | | Although non-determinism, the elimination of the occur test, and testing for satisfiability of systems of equations were already present in Absys I, the SL theory of Kowalski and Kuehner, and the illuminating set of examples of Prolog usage given by Colmerauer and his group were to appear only a few years later. |
| hopl.murdoch.edu.au /showlanguage.prx?exp=357&language=ABSYS (4070 words) |