проверка наличия одинаковых фактов - prolog
допустим есть некотороя база факто прологовская, как проверить наличее там одинаковых фактов? ну типа f(1,2). f(3,4). f(3,4). задача решаема если факты динамические, всмысле добавлены через assert - проста удаляем факты по одному и все. а как быть когда факты читаются из файла, там они написаны "статически" при использовании предикада retract пролог матюкается ERROR: retract/1: No permission to modify static_procedure `f/2' как решать данную задачу?
