list - 拆分列表并在prolog中迭代

Question

我试图做一些看起来很简单但我无法理解的事情。我想从给定的谓词中拆分序言中的列表并遍历对象。例子：

object_properties(jackass, [comedy, -australian]).
object_properties(the_godfather, [drama, crime, -character_batman]).

我如何遍历列表并将其打印到屏幕上？更具体地说，我需要询问用户该对象是否具有该属性。如果他们说是，则转到列表中的下一个项目，如果他们说不，则转到下一个对象。

任何帮助将不胜感激。

Answer 1

这样的事情可以帮助你开始

object_properties :-
    object_properties(O, Ps),
    query_user_loop(O, Ps).

query_user_loop(_, []).
query_user_loop(O, [P|Ps]) :-
    write([object, O, has, P, ?]),
    read(Answer),
    (   Answer == yes
    ->  query_user_loop(O, Ps)
    ).

object_properties(jackass, [comedy, -australian]).
object_properties(the_godfather, [drama, crime, -character_batman]).

这适用于简单的交互（请注意每个答案后的点）：

9 ?- object_properties.
[object,jackass,has,comedy,?]yes.
[object,jackass,has,-australian,?]no.
[object,the_godfather,has,drama,?]yes.
[object,the_godfather,has,crime,?]yes.
[object,the_godfather,has,-character_batman,?]yes.
true