add swiprolog to p2?!