アブシス

Absys は、アバディーン大学が開発した初期の宣言型プログラミング言語です。^{[ 1 ]}失敗としての否定、集約演算子、バックトラッキングの中心的な役割^{[ 2 ]} 、制約解決など、 Prolog の多くの機能を先取りしていました。^{[ 1 ]} Absys は、論理プログラミング言語 の最初の実装でした。^{[ 1 ]}

Absysという名前は、 Aberdeen Systemの略称として選ばれました。^{[ 1 ]}

• アブセット

• 「ABSYS：アサーションのためのインクリメンタルコンパイラ」、JM Foster 他、Mach Intell 4、エジンバラ大学出版局、1969年、 423～429ページ