SWI-Prolog
FursiousPig