Prolog的回答参数=参数，而不是答案，毫无

Question

我怎样才能让Prolog的回答没有，如果search_answer没有找到答案，并 是与L = [答]

search_answer：谓词返回一个列表或让我们将A作为一个自由变量。

found_list(L) :- 
    search_answer(L). 

例如，当问found_list(L)，虽然search_answer没有找到答案，Prolog的回答仍然是。我打印L，它等于_496，一个自由变量。

鉴于上述一段代码，found_list回答L = [...]如果search_answer发现了一个列表，否则返回L = L，而我要回答没有

我尝试以下，但不工作

found_list(L) :- 
    search_answer(L) , is_list(L). 

---

liar_detector是我search_answer断言，随着L = answer 和骗子是我found_answer

Answer 1

在found_list(L) :- search_answer(A).都L和A是单身。我假设你看到了警告。你需要修正这个谓词才有意义。你真的想要L = [Answer]还是L = Answer？

你可以实现你的这种方式后，在做什么：

found_list(A) :- 
    search_answer(A). 

这将失败（导致“无”），如果search_answer(A)没有成功，你的结果将是A，如果它成功。

如果你想要的结果的列表中的答案，你可以这样做：

found_list([A]) :- 
    search_answer(A). 

我不知道该值的任一内容。第一个found_list/1只是一个简单的包装search_answer/1没有任何额外的逻辑。第二个简单地将search_answer/1结果中的单个元素列表。如果A已经是一个列表，则不需要将其放在括号内（[...]），否则您只需在列表中获取一个列表。我怀疑你真的想做别的事情，但没有解释。

---

针对更新的问题，下面的代码应该工作，如果 A是一个简单的绑定期限：

found_list(A) :- 
    search_answer(A), 
    is_list(A). 

但是，如果它的参数有，即使它的元素可以列表结构is_list/1会成功松绑：

| ?- X = [_], is_list(X). 

X = [_] 

yes 
| ?- 

因此，举例来说，如果search_answer(A)与A = [_]成功，那么将found_list(A) sucee d与A = [_]。

ground/1可以在这里很有用，因为：

| ?- ground(X). 

no 
| ?- ground([_|_]). 

no 
| ?- ground([a,b]). 

yes 
| ?- 

因此，下面的解决办法应该工作：

found_list(A) :- 
    search_answer(A), 
    ground(A). 

---

如果你的目的不是回溯到 search_answer(A)如果 A不接地，但只是失败，你可以执行 found_list/1为：

found_list(A) :- 
    search_answer(A), 
    (ground(A) -> true ; !, false). 

但我认为，代码中可能存在一个更基本的问题，因为它不应该有一种行为，您不得不这样做。