“动态”序言中的谓词
如果我想让规则动态化，以便在加载数据库文件后可以使用断言，我该怎么做？我目前正在使用 XSB Prolog，该文件是这样的： :- dynamic likes/2 likes(m…
在 gprolog 中声明谓词动态
我在 Prolog 中有这段代码： dynamic(player_at/1). player_at(house). goto(X) :- retract(player_at(house)), assert(player_at(X)). 但我仍然收到…
- 共 1 页
- 1
