LINUX.ORG.RU

проверка наличия одинаковых фактов - prolog


0

0

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

anonymous

Ответ на: комментарий от Zmacs

если_бы была возможность изменить формулировку постановки задачи я бы здесь вопросов не задавал.

anonymous
()
Ответ на: комментарий от anonymous

Я имел в виду, что осуществлять пре-парсинг, например, перлом, выкидывать одинаковые факты, а потом отдавать прологу.

Zmacs
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.