SWI-Prolog
vpursuit