Prolog 如何从文本文件读取查询、修改查询并调用查询
我有一个例子,其中属性是Prolog查询 我想从文件中读取查询,修改它,然后运行查询 weka arff文件的开头如下:Prolog 如何从文本文件读取查询、修改查询并调用查询,prolog,weka,swi-prolog,arff,Prolog,Weka,Swi Prolog,Arff,我有一个例子,其中属性是Prolog查询 我想从文件中读取查询,修改它,然后运行查询 weka arff文件的开头如下: @relation propositionalization @attribute 'link(_, A, _), link(A, _, _)' {'+'} @attribute 'reaction(A, 0), link(A, B, _), link(B, C, _), reaction(C, 1), link(B, D, activation), reaction(D,
@relation propositionalization
@attribute 'link(_, A, _), link(A, _, _)' {'+'}
@attribute 'reaction(A, 0), link(A, B, _), link(B, C, _), reaction(C, 1), link(B, D, activation), reaction(D, 0), reaction(B, 0), link(A, E, _), link(E, F, follows), reaction(F, 1)' {'+','-'}
@attribute 'reaction(A, 0), link(A, B, _), link(B, C, _), reaction(C, 1), reaction(B, 1), link(A, D, _), link(D, E, follows), reaction(E, 0)' {'+','-'}
等
我的dcg由以下部分组成:
list([]) -->[].
list([L|Ls]) --> [L],list(Ls).
get_feature(Feature) --> "@attribute '",list(Feature), "'",list(_).
我阅读文件时带着:
read_my_file(File,Lines):-
open(File,read,Stream,[]),
read_lines(Lines,Stream),!.
read_lines([H|T],Stream):-
read_line_to_codes(Stream,H), H\=end_of_file, read_lines(T,Stream).
read_lines([],Stream):-close(Stream).
并使用下面的调用短语/2将该功能提取为代码列表
lineCodes_feature(Line,Feature):-
phrase(get_feature(Feature),Line),!.
然后我打电话:
read_my_file('my_file.arff',Lines),
member(Line,Lines),
lineCodes_feature(Line,Feature),
atom_codes(Atom,Feature).
并返回轨迹,将每个特征视为一个原子
我被困在下一步的修改和运行作为一个查询。
我想把反作用/2项改为反作用/3项,其中附加的参数对于每个项都是相同的
比如原子项
'reaction(A, 0), link(A, B, _), link(B, C, _), reaction(C, 1), reaction(B, 1), link(A, D, _), link(D, E, follows), reaction(E, 0)'
我会想象成为一个列表:
[reaction(newarg,A, 0), link(A, B, _), link(B, C, _), reaction(newarg,C, 1), reaction(newarg,B, 1), link(A, D, _), link(D, E, follows), reaction(newarg,E, 0)]
这将允许我以某种方式使用call/1查询内部数据库
非常感谢您对我的方法的任何帮助或评论。我想您可以使用,然后称为结果术语
...
read_term_from_codes(Feature, Callable, []),
transform(Callable, Transformed),
Transformed,
...
例如,使用and/2简化解析
:- use_module(library(dcg/basics)).
sw :- phrase_from_file(arff_file, '/home/carlo/test/x.weka').
arff_file --> [] ; arff_line, arff_file.
arff_line -->
"@relation propositionalization", eol.
arff_line -->
"@attribute '", string(Codes), "'",
{read_term_from_codes(Codes, Prolog, []),
transform_conjunction(Prolog,Transf),
format('~w ->~n ~w~n', [Prolog, Transf])},
string(_), eol.
arff_line -->
eol.
eol --> "\n".
transform_conjunction((A,B),(C,D)) :- transform_term(A,C), !, transform_conjunction(B,D).
transform_conjunction(A,C) :- transform_term(A,C).
transform_term(reaction(B,C), reaction(newArg,B,C)).
transform_term(T, T).
我想就在这里,我只对文件的开头感兴趣,在那里定义了属性。
phrase\u from\u file/2
-->+1!谢谢你的回答。我还没有机会看一看,你知道的。