Ada 83
Extension of
Prolog
Implementation
AdLog (1381)