Как получить логический путь в pyDatalog - PullRequest
0 голосов
/ 28 января 2020

Я просто хочу получить аргумент "успеха" из pyDatalog. Потому что мое заявление скажет человеку, почему и как я получу результат. Я попытался с открытием регистрации и установить уровень регистрации на DEBUG. Я действительно получил журналы, но это в формате, как стек. Потому что он показывает все факты и правителей, которые пытались, независимо от пути рассуждений, успех или нет. Например:

+mother('Julian', 'Mark')
+mother('Mary', 'Tom')
+mother('Mary', 'Jack')

, когда я:

ask("mother(X, 'Jack')")

Я получаю журнал как: факт, который будет использоваться:

+mother('Julian', 'Mark')
+mother('Mary', 'Tom')
+mother('Mary', 'Jack')

мне нужно только показать в log:

mother('Mary', 'Jack')

Большое спасибо и очень жаль моего Engli sh.

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...