当前位置：文江博客话题详情

Prolog - 断言和撤回

发布于 2024-08-25 03:25:29 字数 239 浏览 7 评论 0原文

我想知道，我知道如果您已将谓词声明为 -:dynamic，您可以使用 assert 添加事实或规则或其他内容，但这仅允许更改仅保留在该会话中，例如，如果关闭 Prolog 窗口，则数据库更改将丢失。

所以我想知道，是否有任何方法可以使 assert 和 retract 谓词可以对 Prolog .pl 文件进行永久更改？

谢谢

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

荆棘i 2024-09-01 03:25:30

我可以建议你一个非常简单的方法来做到这一点。

1 ?- assert(a(1)).
true.

2 ?- assert(a(2)).
true.

3 ?- assert(a(3)).
true.

4 ?- a(A).
A = 1 ;
A = 2 ;
A = 3.

5 ?- tell('a_db.txt'), listing(a), told.
true.

然后关闭会话，重新打开。

1 ?- a(A).
ERROR: toplevel: Undefined procedure: a/1 (DWIM could not correct goal)
2 ?- ['a_db.txt'].
% a_db.txt compiled 0.00 sec, 516 bytes
true.

3 ?- a(A).
A = 1 ;
A = 2 ;
A = 3.

4 ?- listing(a).
:- dynamic a/1.

a(1).
a(2).
a(3).

true.

I can suggest you a very simple way of doing this.

1 ?- assert(a(1)).
true.

2 ?- assert(a(2)).
true.

3 ?- assert(a(3)).
true.

4 ?- a(A).
A = 1 ;
A = 2 ;
A = 3.

5 ?- tell('a_db.txt'), listing(a), told.
true.

Then close session, reopen.

1 ?- a(A).
ERROR: toplevel: Undefined procedure: a/1 (DWIM could not correct goal)
2 ?- ['a_db.txt'].
% a_db.txt compiled 0.00 sec, 516 bytes
true.

3 ?- a(A).
A = 1 ;
A = 2 ;
A = 3.

4 ?- listing(a).
:- dynamic a/1.

a(1).
a(2).
a(3).

true.

回复收藏 0 原文

~没有更多了~