Baixe o app para aproveitar ainda mais
Prévia do material em texto
Programação Lógica Pergunta 1 Assinale a alternativa que corresponde à definição de uma cláusula de Horn. É uma fórmula bem formulada, formada exclusivamente por condicionais. ✅ É uma fórmula bem formulada, formada por predicados ou negação de predicados, conectada por disjunções, em que apareça no máximo um predicado que não esteja negado. É uma linguagem de programação declarativa. É um conectivo lógico formado por conjunções e condicionais. É uma linguagem de programação baseada em regras de inferência.
Compartilhar