SWI-Prolog
he_deceives