谁会用prolog编写特尔斐城的少女问题?

来源:百度知道 编辑:UC知道 时间:2024/09/22 07:43:40
问题是这样的:
A、B、C和D四个人是古希腊少女。她们正在接受训练以便当个预言家。(实际上,后来她们之中只有一个人成了预言家,并在特尔斐城谋得一个职位。其余三个人,一个当了职业舞蹈家、一个当了宫廷女侍、第三个当了演奏家。)

一天,她们四个人在练习讲预言。
A预言:“B无论如何也成不了职业舞蹈家”。
B预言:“C将成为特尔斐城的预言家”。
C预言:“D不会成为演奏家”。
D预言她自己将嫁给一个叫阿特的男人。
可是,事实上她们四个人中,只有一个人的预言是正确的,而正是这个人当了特尔斐城的预言家。

她们四个人中谁当了什么?
D和阿特结婚了吗?
只需写出代码就行了,谢谢!

A职业舞蹈家 《只有自己做了别人才做不了》
B宫廷女侍 《他的预言一看就是错的,就只有宫廷女侍 》
C演奏家 《自己是别人才不会是》
D预言家 《没别人了》
D和阿特结婚了《因为他是预言家》

A职业舞蹈家
B宫廷女侍
C演奏家
D预言家

现在你自己回答自己《D和阿特结婚了吗》