如何在 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

assert/3 可以完成这项工作：

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

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