PROLOG撤回其不起作用

我需要从谓词列表中删除一个项目，但它不起作用。它对我来说仍然是真的，但该项目仍然存在。PROLOG撤回其不起作用

代码：

eliminar :- limpar, 
    write('\n*** DELETAR ***\n'), 
    write('O que deseja deletar ?\n'), 
    pegarString(X), 
    doenca(X), 
    format('~Doença: ~w ~n Sintoma: ~w ~n',[X]), 
    retract(doenca([X,_])); 
    write(' '). 
pegarString(S) :- 
    read_line_to_codes(user_input,C), 
    name(S,C). 
perguntadd(X) :- limpar, 
    write('\n*** ADICIONAR ***\n'), 
    write('\nDigite o nome da doença que deseja adicionar\n'), 
    pegarString(X). 
adicionar(X) :- 
    format('Digite o sintoma da doença ~w?~n ',[X]), 
    pegarString(I), 
    assertz(doenca([X,I])), 
    format('~n~w foi adicionado aos registros!~n~n',[X]).

来源

2015-11-25 martur94

请提供一个演示您的问题的[mcve]。从您目前提供的代码中无法分辨发生了什么。 – Steven

确定重新发布即可看到所有变量。 – martur94

我认为你已经静态定义了'doenca/1'。你应该在文件的顶部有一个'： - 动态doenca/1.'行，对于我来说，你有'doenca（X）'和'retract（doenca（[X，I] ））在同一个规则体内，这是不可能成功的。有更多的来源吗？ –

在第一条低层次的问题：

... 
format('~Doença: ~w ~n Sintoma: ~w ~n',[X]), 
retract(doenca([X,_])); 
write(' ').

专门的 ';'看起来很可疑。我猜你想要，而不是

forall(retract(doenca([X,Sintoma])), 
     format('~Doença: ~w ~n Sintoma: ~w ~n',[X,Sintoma])), 
write(' ').

而且，我会考虑更好的设计来存储doenca/2，而不是doenca/1。

来源

2015-11-25 07:58:25 CapelliC

我几乎觉得像分号';'在Prolog代码行尾应该被编辑器/ IDE强调为错误。 –

humm ..它不工作 – martur94

PROLOG撤回其不起作用

回答

相关问题