我有一个Prolog数据库文件(test_inserts.p),我用它来插入我的所有数据。
我还有一个Prolog查询文件(test_queries.pl),其中包含我为从数据库中接收特定信息而编写的所有Prolog查询。
我想知道如何在使用 gprolog 时实际对我的 test_inserts.p 数据库文件使用 test_queries.pl 查询?我希望有一种方法可以同时加载两者,并且以某种方式能够命令运行哪个查询,而不必重新键入我想运行的每个查询......
我在test_queries.pl
中使用了initialization/1
ISO指令来获得您在底部看到的效果。
test_queries.pl
test :-
findall(_, (a(X,Y), format('~w ~w~n', [X,Y])), _).
:- initialization([test_inserts]).
:- initialization(test).
test_inserts.pl
a(X,Y) :- append(X,Y,[1,2,3]).
然后用--consult-file
呼叫Gprolog
gprolog --consult-file test_queries.pl
GNU Prolog 1.4.0
By Daniel Diaz
Copyright (C) 1999-2011 Daniel Diaz
compiling /home/carlo/test_queries.pl for byte code...
/home/carlo/test_queries.pl compiled, 5 lines read - 659 bytes written, 28 ms
compiling /home/carlo/test_inserts.pl for byte code...
/home/carlo/test_inserts.pl compiled, 2 lines read - 379 bytes written, 30 ms
[] [1,2,3]
[1] [2,3]
[1,2] [3]
[1,2,3] []
| ?-