turbo prolog дорешать

[MikhailSoin]

Приветствую всех участников форума! Очень надеюсь на вашу помощь:
Написал программу а она выводит много решений при подстановке

fail

после вывода ответа!

Помогите разобраться. Мне сказали что надо списки поправить в задаче.
Вот она собственно:

domains
person=p(string,string,string)
persons=person*

predicates
member(person,persons)
flower(string)
dom(string)
name(string)
solve

clauses
member(H,[H|_]):-!.
member(X,[_|T]):-
member(X,T).

flower("Rosy").
flower("Romash").
flower("Tulp").
name("Nif").
name("Nuf").
name("Naf").
dom("Solom").
dom("Derev").
dom("Kirp").
solve:-
dom(NifD),
flower(NifF),
NifD<>"Solom",
dom(NafD),
flower(NafF),
NafF<>NifF,
NafF<>"Tulp",
NafF<>"Romash",
NafD<>"Derev", NafD<>NifD,
dom(NufD),
flower(NufF),
NufF<>NafF,NufF<>NifF,
NufD<>NafD, NufD<>NifD,


Prs=[p(NifD,NifF,"Nif"),
	p(NafD,NafF,"Naf"),
	p(NufD,NufF,"Nuf")],
	
member(p("Derev","Romash",_),Prs),
member(p("Solom",_,_),Prs),
member(p(_,"Rosy",_),Prs),

write(NifD,NifF,"Nif"),nl,
write(NafD,NafF,"Naf"),nl,
write(NufD,NufF,"Nuf"),nl,fail.


goal
solve.

Условия:
Имеем три поросенка одноименных, три их домика из соломы, дерева и кирпича, и цветы около домиков: розы, ромашки, тюльпаны!

Знаем: Ниф не в соломенном,
Наф не в деревянном,
Возле соломеннго дома не розы,
Возле деревянного растут ромашки,
У Нафа не тюльпаны около дома.

Ну и соответственно надо вывести кто где живет и какие цветы выращивает.

В общем в приведенной задаче выводится много ответов, думаю список или предикат member не так задал...