另一条规则是prolog中规则的论据

Question

这是我的prolog文件。

Traceback (most recent call last):
  File "myProg.py", line 39, in <module>
  File "boto3\session.pyc", line 199, in client
  File "botocore\session.pyc", line 754, in create_client
  File "botocore\session.pyc", line 660, in get_component
  File "botocore\session.pyc", line 774, in get_component
  File "botocore\session.pyc", line 174, in <lambda>
  File "botocore\session.pyc", line 453, in get_data
  File "botocore\loaders.pyc", line 119, in _wrapper
  File "botocore\loaders.pyc", line 364, in load_data
botocore.exceptions.DataNotFoundError: Unable to load data for: _endpoints

我想查询类似male(bob). male(john). female(betty). female(dana). father(bob, john). father(bob, dana). mother(betty, john). mother(betty, dana). daughter(X, Y) :- female(X), mother(Y, X). 的内容 有可能吗？

我想要约翰的母亲的女儿。

我从here在“向结构提问”

下得到了这个想法

Answer 1

尝试

auto

查询 - ＆gt; mothers_daughter(X, Y) :- mother(Z,X), daughter(Y,Z).

编辑：女儿（X，母亲（Y，Z））： - 女（X），母亲（Y，X）。

Answer 2

那样的东西？

daughter(X, Y), mother(Y, john).

这将匹配Y作为约翰的母亲，然后X作为Y的女儿。所以X将是约翰母亲的女儿。