8.12
agatha: Para Logica
| #lang "agatha" | package: Agatha |
1 Introdução
Está é um linguagem de dominio especifico, o objetivo é produzir tabelas-verdade para formular de Lógica de primeira ordem.
#lang agatha |
f = A ^ B; |
#f; |
Assim o operador #(avalia expressão) cria a tabela e exibe o resultado.
Podemos Compor funções:
#lang agatha |
f = A ^ B; |
g = f ^ C; |
2 Operadores
Temos os Operadores basicos de Lógica.
#lang agatha |
f = A ^ B; // Operador E |
f = A + B; // Operador Ou |
f = A -> B; // Operador Implica |
f = ¬A; // Operador Não |
3 Da Linguagem
Apesar de muito simples, devemos atentar a alguns detalhes. 1º as variaveis devem ser minusculas, ou seja, o lado esquerdo do = é minusculo. 2º as variaveis booleanas são maiusculas. 3º as variaveis naõ booleanas podem ser sobrescritas 4º toda linha de commando ou expressão deve terminar com ;