У меня есть предварительно заполненный файл .pl, содержащий факты и правила.Я открываю файл, используя метод pyswip consult () .Например, есть два факта о возможности выбора объекта:
pickable_object(pen).
pickable_object(paper).
Теперь, после добавления нового факта с помощью pyswip:
prolog.assertz('pickable_object(light)')
Запрос
for result in prolog.query('pickable_object(X)'):
print(result)
отлично работает и печатает:
{'X': 'pen'} {'X': 'paper'} {'X': 'light'}
Но утверждение не записывается в файл .pl.Как мне включить это?
В качестве обходного пути я просто добавляю новую строку предложения в качестве новой строки, рассматривая ее как текстовый файл.