代码之家 › 专栏 › 技术社区 › Kai

获取prolog中谓词的所有解

prolog

Kai · 技术社区 · 16 年前

我正在prolog中编写一个文本冒险游戏,我正在打印出房间出口。我有这样的代码:

exits_from(Room) :-
  connected(Room, X),
  write(X), write('  ').

如果连接/2是:

connected(X, Y) :- path(X, Y).
connected(X, Y) :- path(Y, X).

路径是:

path(room, hallway).
path(hallway, foyer).

等等。

当我打印一个房间的出口时,它先得到一个,然后想要一个';'来表示我想要另一个解决方案。有没有强制谓词完全计算结果,这样玩家就不必一直要求更多的出口?

1 回复 | 直到 16 年前

Volodymyr Gubarkov 16 年前

一种方法是做一些像

print_all_solutions :-
  solution(Sol),
  write(Sol),
  fail. % this causes backtracking
print_all_solutions. % succed

另一种方法是对所有对象使用特殊谓词,如下所示:

forall(solution(Sol), write(Sol))

推荐文章

Sam · 如何在Swi Prolog中对元组列表排序

7 年前

davo · 序言:delete谓词如何提供列表的开头

7 年前

Zeph · 在Prolog中添加到列表列表

7 年前

Deeps · 在prolog中截断浮点数

7 年前

Anthony Gauthier · 分析不同规则中的规则体

7 年前

quixote · 如何在swi prolog中删除命令历史记录

7 年前

Walker · Prolog比较列表[关闭]

7 年前

user7303261 · 在prolog中运行main

7 年前

MasterYork42 · Prolog逻辑难题不起作用?

7 年前

Friedrich Schmidt · swi prolog中的逻辑门和

7 年前