导入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) 

你可以在文档中看到它。 欲获得更多信息

以下是文档的示例：

假设我们想要从CSV文件创建一个谓词表/ 6，我们知道每个记录包含6个字段。 这可以使用下面的代码完成。 如果没有选项arity（6），这将生成谓词表/ 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')].