SWI-Prolog
CapelliC