A language which adds a Prolog layer to Ada.["AdLog, An Ada Components Set to Add Logic to Ada",G. Pitette, Proc Ada-Europe Intl Conf Munich, June 1988].
