Question

我有一个问题，在创建问题时回答Prolog文件。我有一个包含位置的数据库，我已经可以得到问题并写出答案。但是有不同类型的对象需要不同的前缀。所以我为前缀定义了DCG。

answer(P,A) :- location(P, Str, Nr),A = [there, is, article(G,K,N,P), noun(G,K,N,P), pre(P),Str,Nr].
question(A) --> questionsentence(P),{answer(P,A)}.

pre(P)  --> [in, P], {member(P, [road66])}.
pre(P)  --> [at, P], {member(P, [trafalgarsquare])}.

但我得到的是这样的：

?-question(A, [where,is,a,kentuckys],[]).
A = [there, is, article(_G2791, _G2792, _G2793, kentuckys), noun(_G2791, _G2792, _G2793, kentuckys), prep(kentuckys), road66, 123]

这适用于正确验证输入，但对输出似乎没用。我怎样才能只考虑变量而不是条款？

Answer 1

好的，我试图将整个程序翻译成一个或多或少有用且有效的例子。

location(kentuckys, road66, 121).
location(soliver, trafalgarsquare, 15).
location(marcopolo, trafalgarsquare, 15).
location(internist, jumpstreet, 21).

questionsentence(P,G) --> [where],[is], article(G), noun(G,P).
answer(P,A,G) :- location(P, Str, Nr), prep(W,Str), article(G,Art,[]), flatten([there, is, Art, P, W, Str,Nr], A).
question(A) --> questionsentence(P,G),{answer(P,A,G)}.

article(m) --> [a].
article(f) --> [an].
noun(m, P) --> [P], {member(P, [kentuckys, soliver, marcopolo])}.
noun(f, P) --> [P], {member(P, [internist])}.
prep([at],Str)  :- member(Str, [trafalgarsquare, road66]).
prep([in],Str)  :- member(Str, [jumpstreet]).

结果：

?- question(A, [where,is,a,kentuckys],[]).
A = [there, is, a, kentuckys, at, road66, 121] .

我认为，我所寻找的是一个结构，如：文章（G，Art，[]）来确定依赖的DCG变量......实际上我还没有理解最后两个参数是如何起作用的...... / p>

DCG在列表中输出单个变量而不是整个子句

1 个答案: