Prolog
Extension of
LOGAL (6834)