SWI-Prolog
Glimheather