在Prolog中收回并断言到另一个文件_Prolog_Prolog Directive Dynamic

在Prolog中收回并断言到另一个文件

prolog

在Prolog中收回并断言到另一个文件,prolog,prolog-directive-dynamic,Prolog,Prolog Directive Dynamic,我试图收回并在另一个文件中声明一个事实。一个（fruit1.pl）包含两个事实，另一个（fruit.pl）包含谓词start，它指定另一个谓词insert\u fruit将更新的事实：水果1.pl fruit(apple, [[2, yellow], [1, brown]]). fruit(orange, [[3, orange], [2, orange]]). :- dynamic fruit/2. start :- consult('fruit1.pl'), File

我试图收回并在另一个文件中声明一个事实。一个（fruit1.pl）包含两个事实，另一个（fruit.pl）包含谓词

start

，它指定另一个谓词

insert\u fruit

将更新的事实：

水果1.pl

fruit(apple, [[2, yellow], [1, brown]]).
fruit(orange, [[3, orange], [2, orange]]).

:- dynamic fruit/2.

start :-
    consult('fruit1.pl'),
    File = 'fruit1.pl',
    Name = apple,
    Price = 2,
    Color = red,
    insert_fruit(File, Name, Price, Color). 

insert_fruit(File, Name, Price, Color) :-
   open(File, update, Stream),
   retract(fruit(Name, Information)),
   assert(fruit(Name, [[Price, Color]|Information])),
   close(Stream).

水果。pl

fruit(apple, [[2, yellow], [1, brown]]).
fruit(orange, [[3, orange], [2, orange]]).

:- dynamic fruit/2.

start :-
    consult('fruit1.pl'),
    File = 'fruit1.pl',
    Name = apple,
    Price = 2,
    Color = red,
    insert_fruit(File, Name, Price, Color). 

insert_fruit(File, Name, Price, Color) :-
   open(File, update, Stream),
   retract(fruit(Name, Information)),
   assert(fruit(Name, [[Price, Color]|Information])),
   close(Stream).

但是，

insert\u fruit

没有按预期工作，因为我认为它需要包含流来修改另一个文件，尽管我不知道如何（

retract（Stream，…）

不工作）。是否有一些我可以让retract和assert谓词在另一个文件中运行？

在SWI Prolog中，您可以使用以下命令从用作持久事实存储的文件中断言/收回事实：

您将

水果/3

声明为持久性。（可选）：使用类型注释参数以进行自动类型检查

在初始化

fruit

模块（在本例中为

fruit1.pl

）时，附加一个文件作为持久事实存储

添加谓词以插入（即，

add_-fruit/3

）和查询（即，

current_-fruit/3

）水果事实。回缩的处理方式与此类似

请注意，您可以在多线程环境中使用事实存储，方法是将

与\u mutex/2

一起使用（在您开始收回事实时尤其有用）

密码使用说明启动Prolog，加载

fruit.pl

，执行：

?- add_fruit(apple, 1.10, red).

?- current_fruit(X, Y, Z).
X = apple,
Y = 1.1,
Z = red

关闭Prolog，启动Prolog（再次），执行：

?- add_fruit(apple, 1.10, red).

?- current_fruit(X, Y, Z).
X = apple,
Y = 1.1,
Z = red

您现在正在阅读

fruit1.pl

中的事实

自动类型检查示意图如前所述，库还会为您执行类型检查，例如：

?- add_fruit(pear, expensive, green).
ERROR: Type error: `float' expected, found `expensive' (an atom)