swiprolog 1.0.3