序言中的“动态”谓词

Question

如果我想使规则动态，所以我可以在数据库文件加载后使用断言，我该怎么做？我使用XSB Prolog的此刻，该文件是这样的：

:- dynamic likes/2 

likes(mary,tom) 

当我尝试协商，XSB文件我得到一个错误：

​​

任何想法？

Answer 1

动态谓词按照您的预期工作，所以如果它不适合您，它还有其他错误。

如果test.P看起来是这样的：

:- dynamic likes/2. 

likes(mary,tom). 

可以咨询，然后更喜欢/ 2的事实可以断言：

XSB Version 3.2 (Kopi Lewak) of March 15, 2009 
[i686-pc-linux-gnu; mode: optimal; engine: slg-wam; scheduling: local; word size: 32] 

| ?- consult('test.P'). 
[Compiling ./test] 
[test compiled, cpu time used: 0.0440 seconds] 
[test loaded] 

yes 
| ?- assert(likes(mary, bob)). 

yes 
| ?- likes(X,Y). 

X = mary 
Y = tom; 

X = mary 
Y = bob;