ELF
Incorporated some features of
Prolog
Extension of
Prolog-ELF (2003)