changed sicstus to swipl