序言中的「動態」謂詞

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;