Swi Prolog, выгружая исходные файлы

Question

Есть ли встроенный предикат или простой способ удалить из базы данных знаний пролог исходных файлов, с которыми уже проводились консультации? Я просмотрел справочное руководство и не нашел ничего, что могло бы это сделать.

Answer 1

Вы можете сделать это с этими процедурами, которые используют source_file/1 и source_file/2:

unload_last_source:- 
    findall(Source, source_file(Source), LSource), 
    reverse(LSource, [Source|_]), 
    unload_source(Source). 

unload_source(Source):- 
    ground(Source), 
    source_file(Pred, Source), 
    functor(Pred, Functor, Arity), 
    abolish(Functor/Arity), 
    fail. 
unload_source(_). 

unload_source/1 уничтожает все предикаты, определенные по имени файла входного источника. Будьте предупреждены, что это должен быть абсолютный путь.

unload_last_source/0 получит последнее имя файла и выгрузит его.

Answer 2

После того, как файл проконсультирован, он станет «неактуальным» для Пролога. Поэтому я думаю, что в целом ответ должен быть no. Но SWI-Prolog имеет богатый набор встроенных функций, который позволяет вам контролировать ваш программ. Например

?- [stackoverflow]. 

?- predicate_property(P, file('/home/carlo/prolog/stackoverflow.pl')). 
P = yield(_G297, _G298) ; 
P = now _G297 ; 
P = x(_G297) ; 
... 

?- abolish(yield/2). 
true. 

?- predicate_property(P, file('/home/carlo/prolog/stackoverflow.pl')). 
P = now _G297 ; 
P = x(_G297) ; 
... 

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

clause, clause_property и erase должны дать больше контроля, но я получаю ошибку я не понимаю (это недокументированная) при попытке использовать Erase:

?- clause(strip_spaces(_G297, _G298),X,Y),erase(Y). 
ERROR: erase/1: No permission to clause erase `<clause>(0x29acc30)' 

Answer 3

, если вы знаете имя предиката, например, факт/2, вы можете использовать:

retractall(fact(_,_)).