Prolog/Negação: diferenças entre revisões

[edição verificada][revisão pendente]
Conteúdo apagado Conteúdo adicionado
He7d3r.bot (discussão | contribs)
Atualizando a categoria do livro, com AutoCat (detalhes). utilizando AWB
m <source> -> <syntaxhighlight> (phab:T237267)
 
Linha 8:
 
Uma questão interessante é o que acontece se legal(X) for proposto como uma consulta:
<sourcesyntaxhighlight lang="prolog">
?- legal(X).
</syntaxhighlight>
</source>
Isto, em princípio, pegaria tudo que existe (e que não foi explicitamente declarado como ilegal) e mostraria. No entanto, esta consulta retorna ''No'' (ou seja: ''não sei'').