Have any comments about SWI-Prolog?
3 + 4 =