Prolog
Extension of
AMLOG (5020)
Equational logic programming language