prolog - Prolog，如何仅给出部分信息来询问是否存在某些东西？

Question

我有一个我想搜索的航班和城市列表，看看是否有可能从一个飞往另一个。我这样定义我的城市

city(city1).
city(city2).
...

一直到city5，我这样定义我的航班

...
flight( city4, city5, 14:00, 15:00).
flight( city4, city5, 16:00, 17:00).
...

我想问prolog是否存在从起始城市到结束城市的航班，忽略时间。

我试过了

flight(city1, city2, !, !) 

我被告知是假!的，通配符不是吗？

Answer 1

我相信您正在寻找_通配符参数的符号。尝试这个：

flight(city1, city2, _, _) 

您也可以随时尝试使用变量名来让解释器找到匹配项：

flight(city1, city2, D, A)

或类似的规定。