导入 csv 文件数据以填充 Prolog 知识库

Question

我有一个 csv 文件 example.csv，其中包含两列，标题为 var1 和 var2。

我想用重复的事实填充一个最初为空的 Prolog 知识库文件 import.pl，而 example.csv 的每一行都被视为相同：

fact(A1, A2).
fact(B1, B2).
fact(C1, C2).

如何在 SWI-Prolog 中编写代码？

编辑，基于@Shevliaskovic 的回答：

:- use_module(library(csv)).
import:-
    csv_read_file('example.csv', Data, [functor(fact), separator(0';)]),
    maplist(assert, Data).

当import. 在控制台中运行时，我们会完全按照请求的方式更新知识库（除了知识库直接在内存中更新，而不是通过文件和后续查询来执行此操作）。

检查setof([X, Y], fact(X,Y), Z).：

Z = [['A1', 'A2'], ['B1', 'B2'], ['C1', 'C2'], [var1, var2]].

Answer 1

SWI Prolog 对此有一个内置过程。

是

csv_read_file(+File, -Rows) 

或者你可以添加一些选项：

csv_read_file(+File, -Rows, +Options) 

您可以在documentation 看到它。欲了解更多信息

这是文档中的示例：

假设我们想从一个 CSV 文件创建一个谓词表/6 知道每条记录包含 6 个字段。这可以使用代码完成 以下。如果没有选项 arity(6)，这将生成一个谓词 table/N，其中 N 是数据中每条记录的字段数。

?- csv_read_file(File, Rows, [functor(table), arity(6)]),
   maplist(assert, Rows).

例如：

如果您有一个看起来像这样的 File.csv：

A1  A2
B1  B2
C1  C2

您可以将其导入 SWI，例如：

9 ?- csv_read_file('File.csv', Data).

结果是：

Data = [row('A1', 'A2'), row('B1', 'B2'), row('C1', 'C2')].