SWI-Prolog
Hazel