SWI-Prolog
Spartan