PROLOG
Introdução e Histórico
- Sejam Ai(x1,x2,...xk) e Bi(x1,x2,...xk) fórmulas atômicas, então uma regra do tipo:
Se A1(x1,x2,...xk) e ... e Am(x1,x2,...xk)
então B1(x1,x2,...,xk) e ... e Bn(x1,x2,...,xk)
pode ser escrita como
? A1(x1,x2,...xk) ou ... ou ? Am(x1,x2,...xk) e
B1(x1,x2,...,xk) ou ... ou Bn(x1,x2,...,xk).
- No entanto, PROLOG só admite declarações do tipo:
- Se A1(x1,x2,...xk) e ... e Am(x1,x2,...xk) então B1(x1,x2,...,xk);
- B1(x1,x2,...,xk);
- Se A1 e ... e Am então B1; e
- B1.