Fixed issue where assert was not working because of swi-prolog library
(The library provides its own version of __assert_fail which does not work
unless the prolog environment has been initialized. This has been reported
as a bug, and the work-around is to initialize prolog before any assertions.)