SWI-Prolog
SpiRec