PROLOG
Introdução e Histórico
- PROgramming in LOGic é fruto de pesquisas na área de Prova Automática de Teoremas.
- Foi criada por Robert Kowalski (na parte teórica), Maarten van Emden (na demostração experimental) e Alain Colmerauer (na implementação) por volta de 1970 na Universidade de Marselha, França.
- O primeiro compilador eficiente foi desenvolvido na Universidade de Edimburgo, Escócia.
- A linguagem PROLOG também é um provador automático de teoremas, onde a estratégia de cláusulas adotada é a “Selective Linear Resolution for Definite Clauses”.
- É uma linguagem declarativa, onde se diz “o que fazer” para atingir um objetivo, o que leva a um nível mais elevado de abstração na solução dos problemas.