NU-Prolog
Extension of
Aditi (7128)