如何读取文件并在prolog中断言事实

Question

我有一个文件test.txt：

:-dynamic birth/3.
birth(tom,1,1).
birth(tonny,1,1).

如何读取文件并将其断言为prolog。 只说

birth(tom,1,1).
birth(tonny,1,1).

断言进入prolog，我可以将它们用作事实。

Answer 1

断言/ 3可以完成这项工作：

assert(birth(Name,X,Y)).

这可以帮助你：https://stackoverflow.com/a/37574687/6350977