aceitei as sugestões manualmente porque as mudanças foram sugeridas sobre uma versão antiga de fol.lisp (commit antigo, atualize seu repo em relação ao meu antes de continuar sugerindo mudanças).
troquei literal por literal? para ficar claro que esta função retorna true ou false.
o problema com esta abordagem é que várias passadas na fórmula são necessárias! Talvez algumas otimizações sejam possíveis. Também precisamos agora contemplar variáveis.
aceitei as sugestões manualmente porque as mudanças foram sugeridas sobre uma versão antiga de fol.lisp (commit antigo, atualize seu repo em relação ao meu antes de continuar sugerindo mudanças).
troquei
literal
porliteral?
para ficar claro que esta função retorna true ou false.o problema com esta abordagem é que várias passadas na fórmula são necessárias! Talvez algumas otimizações sejam possíveis. Também precisamos agora contemplar variáveis.