update krfactory (new swiprolog version)