我在 Prolog 中有以下谓词:
rules('Archer','NX-01').
rules('Kirk','NCC-1701').
rules('Picard','NCC-1701-D').
rules('Janeway','Voyager').
rules('Almak','IRWTMet').
其中“Archer”、“Kirk”、“Picard”、“Janeway”和“Almak”是舰长,“NX-01”、“NCC-1701”、“NCC-1701-D”、“Voyager”和“IRWTMet” ' 是船舶。
所以我想,给定一个船舶列表,返回一个船舶指挥官列表。
我正在尝试这个:
list_ship_commanders([],_).
list_ship_commanders([Ship|T],R):-
findall(Commander,rules(Commander,Ship),R),
list_ship_commanders(T,R).
上述代码仅适用于 Ship 列表只有一个元素的情况。我正在使用“findall”,但我不确定这是正确的方法。