7

これらの事実があります：

man(john).
man(carl).
woman(mary).
woman(rose).

前の事実に基づいて、すべての男性と女性の名前のリストを返す述語 people(List) を作成する必要があります。これは私が出力として必要なものです：

?- people(X).
X = [john, carl, mary, rose]

そして、ここに私が書いたコードがありますが、機能していません:

people(X) :- man(X) ; woman(X).
people(X|Tail) :- (man(X) ; woman(X)) , people(Tail).

誰か助けてくれませんか？

4

2 に答える 2

20

使用findall/3:

people(L) :- findall(X, (man(X) ; woman(X)), L).

?- people(X).
X = [john, carl, mary, rose].
于 2013-10-27T07:25:51.970 に答える
2

ここに行きます：

person(anne).
person(nick).

add(B, L):-
    person(P),
    not(member(P, B)),
    add([P|B], L),!.

add(B, L):-
    L = B,!.

persons(L):-
    add([], L).
于 2019-12-19T08:07:35.633 に答える