PROLOG
Introdução e Histórico
- Segundo Bratko, “pensar a respeito do problema e aprender a programar em PROLOG constitui-se em um desafio intelectual excitante”.
- Cada linha de PROLOG corresponde a uma afirmação.
- A variável compreendida na afirmação deve ser entendida como UNIVERSALMENTE quantificada. Assim, a declaração pai_de(X,Y) corresponde a ?X?Y pai_de(X,Y).
- PROLOG só admite em suas declarações CLÁUSULAS DE HORN.
- CLÁUSULAS DE HORN só admitem um literal positivo.
- Lembre-se que A? B pode ser escrita sob a forma ?Av B.