An early declarative language from the University of Aberdeen which anticipated a number of features of Prolog.