Log Message: Updated swi-prolog to 5.0.10: This version has seen many bug-fixes, performance improvements and additions of new predicates.