问如何在prolog中读取文件和断言事实
EN

Stack Overflow用户

提问于 2016-06-02 17:19:33

回答 1查看 617关注 0票数 0

我有一个文件test.txt

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

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

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

在prolog中进行断言，我就可以将它们用作事实。

发布于 2016-06-02 22:39:15

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

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

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/37587633

复制

相似问题

问如何在prolog中读取文件和断言事实EN