Aplicações de Lógica na Computação

(RASCUNHO)

• Prolog
  • Erlang
• Curry?

• Thruthy values
• Uso em condicionais (if, etc.)
• Foi C quem começou?
• Como é em:
  • Elixir
  • Ruby
  • Java
  • Python

if x then do <something> else do <something_else> end

• x precisa retornar um valor-verdade?
  • Se não precisa, o que faz fazer <something> ou <something_else>?
• E se x tiver conectivos lógicos? Como é a avaliação?
• E se x tiver efeitos colaterais, o que acontece com e's e ou's?
• Por que implicação não é usada?