The Best 0 SWI Prolog Alternatives