Prolog 家谱-有两个以上子女的家庭
大家好!我的序言任务需要帮助。我有几个家庭,第一个变量是husbend,第二个变量是wifes,第三个变量是children。 我需要创建一个规则,它将输出有3个或更多孩子的家庭。我创建了一个和两个孩子的输出规则,然后尝试在第三个规则中排除它们。但我得到了:Prolog 家谱-有两个以上子女的家庭,prolog,rules,rule,Prolog,Rules,Rule,大家好!我的序言任务需要帮助。我有几个家庭,第一个变量是husbend,第二个变量是wifes,第三个变量是children。 我需要创建一个规则,它将输出有3个或更多孩子的家庭。我创建了一个和两个孩子的输出规则,然后尝试在第三个规则中排除它们。但我得到了: family(family_member(oleg, barmin, birth_date(6, 1, 98), false), family_member(kate, barmin, birth_date(1, 10, 97),
family(family_member(oleg, barmin, birth_date(6, 1, 98), false), family_member(kate, barmin, birth_date(1, 10, 97), true),
children(family_member(vasy, barmin, birth_date(5, 12, 07), true))).
family(family_member(artem, kudinov, birth_date(6, 1, 57), true), family_member(ann, kudinov, birth_date(1, 10, 67), false),
children(family_member(julia, barmin, birth_date(5, 12, 88), false))).
family(family_member(kola, avramov, birth_date(6, 1, 57), false), family_member(nastya, avramov, birth_date(1, 10, 67), false),
children(family_member(masha, avramov, birth_date(5, 12, 88), false),family_member(fedya, avramov, birth_date(5, 12, 88), false))).
family(family_member(ivan, petrov, birth_date(6, 1, 57), true), family_member(daria, petrov, birth_date(1, 10, 67), false),
children(family_member(a00000000, petrov, birth_date(5, 12, 88), false),family_member(warihaerh, petrov, birth_date(5, 12, 88), false),
family_member(b00000000, petrov, birth_date(5, 12, 88), false))).
family(family_member(ivan, ivanov, birth_date(6, 1, 57), true), family_member(daria, ivanov, birth_date(1, 10, 67), false),
children(family_member(a00000000, ivanov, birth_date(5, 12, 88), false),family_member(warihaerh, ivanov, birth_date(5, 12, 88), false),
family_member(orihthth, ivanov, birth_date(5, 12, 88), false), family_member(shgsgh, ivanov, birth_date(5, 12, 88), false))).
familyWifeWorkFalse(Y) :-
Y = family_member(_, _, _, false),
family(_, family_member(_, _, _, false), _).
oneChildrenMan(X) :-
family(X, _, children(_)).
twoChildrenMan(X) :-
family(X, _, children(_, _)).
moreTwoChildrenMan(X) :-
\+oneChildrenMan(X),
\+twoChildrenMan(X),
family(X, _, _).
几天来,我一直想自己完成这项任务,但没有取得任何结果。
你知道怎么做吗?你的
moreTwoChildrenMan/1
谓词的问题是你不正确地使用了Prolog
目标否定运算符\+
强制执行Prolog搜索上一个目标的替代解决方案的执行机制,并且在moreTwoChildrenMan/1
的代码中,在oneChildrenMan(X)
之前没有目标。这就是谓词失败的原因
但是,如果您只是将目标系列(X,\u,\ u)
移动到目标oneChildrenMan(X)
之前,它将为您提供所需的结果,因为现在执行将回溯到系列(X,\u,\ u)
的解决方案:
?- moreTwoChildrenMan(X).
false.
moreTwoChildrenMan(X) :-
family(X, _, _), % find some family member X
\+ oneChildrenMan(X), % filter out those with one child
\+ twoChildrenMan(X). % filter out those with two children