Question

我有以下内容：

:- use_module(library(csv)).
:- dynamic mb/3.
:- dynamic mb_column_keys/1.

prepare_db(File) :-
    retractall(mb_column_keys(_)),
    retractall(mb(_,_,_)),
    forall(read_row(File, Row), store_row(Row)).

store_row(Row) :-
    Row =.. [row|Cols],
    (   mb_column_keys(ColKeys)
    ->  Cols = [RowKey|Samples],
    maplist(store_sample(RowKey), ColKeys, Samples)
    ;   (Cols = [_H|T],assertz(mb_column_keys(T)))
    ).

store_sample(RowKey, ColKey, Sample) :-
    assertz(mb(RowKey, ColKey, Sample)).

read_row(File, Row) :-
     csv_read_file_row(File, Row, []),
     writeln(read_row(Row)).

调整此方法的最佳方法是什么，以便prepare_db可以使用另外两个参数来定义column_keys和mb的谓词。

例如?-prepare_db('my_file.csv',mb_column_keys,mb).

会导致mb / 3和mb_column_keys / 1

的事实被断言

好的我已将文件更改为以下内容：

:- use_module(library(csv)).
:- set_prolog_stack(global, limit(4*10**9)).

prepare_db(File, Column_Key,Relation) :-
     Column_Key_Term =.. [Column_Key,_],
     Relation_Term =.. [Relation,_,_,_],
     retractall(Column_Key_Term),
     retractall(Relation_Term),
     forall(read_row(File, Row), store_row(Row,Column_Key,Relation)).

store_row(Row,Column_Key,Relation) :-
     Column_Key_Test =.. [Column_Key,ColKeys],
     Row =.. [row|Cols],
     (   call(Column_Key_Test)
     ->  Cols = [RowKey|Values],
         maplist(store_relation(Relation,RowKey), ColKeys, Values)
         ;   ( Cols = [_H|T],
               Column_Key_Term =.. [Column_Key,T],
               assertz(Column_Key_Term)
             )
     ).

store_relation(Relation,RowKey, ColKey, Values) :-
     Relation_Term =.. [Relation,RowKey,ColKey,Values],
     assertz(Relation_Term).

read_row(File, Row) :-
    csv_read_file_row(File, Row, []),
    writeln(read_row(Row)).

但它看起来有点难看，是否有更优雅的方式来实现这一目标？

Answer 1

由于retractall/1将其参数声明为dynamic，您可以将谓词头的列表传递给prepare_db，如下所示：

prepare_db(File, Heads) :-
    maplist(retractall, Heads),
    % etc

?- prepare_db('my_file.csv', [mb_column_keys(_) ,mb(_,_,_)]).

请记住，SWI-Prolog至少允许您拨打dynamic/1：

?- foo(_).
ERROR: toplevel: Undefined procedure: foo/1 (DWIM could not correct goal)
?- dynamic(foo/1).
true.

?- foo(_).
false.

（如果你在retractall/1的文档的脚注行之间阅读，你会发现这是可能的......）

正如你的问题所指出的那样，有理由说明你的动态谓词仍然是好的。

调整多个表的csv读数

1 个答案: