replaced gnuprolog with swiprolog