update sicstus reasoner