如何在另一個謂詞序言中一個接一個地傳遞列表的值

Question

這是我的 prologdb 文件

trip_to_nation(X,Y,T):- % X is a city ,T is a list
      list_airport(Y,A),
      write(A),% [dublin,cork] list 
      all_trip(X,A,T). % here A is an atom and T is the list

我想將列表的值一一傳遞給 all_trip 以獲取數據，這怎么可能？

類似於list[0],list[1]並獲取列表中的數據。謝謝

Answer 1

現在 T 將擁有從 X 到 A 元素的所有行程。

maplist(all_trip(X), A, T).

如果您希望將行程作為多種解決方案而不是所有解決方案的列表，則以下方法將起作用。

member(City, A), all_trip(X, City, T).