database - 简单的PROLOG问题: How do you test multiple queries against your Prolog database?

我有一个用于插入所有数据的Prolog数据库文件(test_inserts.p)。

我还有一个Prolog查询文件(test_queries.pl)，其中包含我编写的所有Prolog查询，以便从数据库中接收特定信息。

我想知道在使用 gprolog时如何对test_inserts.p数据库文件实际使用test_queries.pl查询吗？ 我希望有一种方法可以同时加载两个查询，并且能够以某种方式命令运行哪个查询，而不必重新键入要运行的每个查询...。

最佳答案

我在initialization/1中使用了test_queries.pl 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] []
| ?-

关于database - 简单的PROLOG问题: How do you test multiple queries against your Prolog database?，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/10059701/