A programação lógica se basea em 3 princípios:
- linguagem formal para representação de conhecimento
- regras de inferência para manipulação de conhecimento
- estratégia de busca para controle de inferências
- Interface: permite que o usuário entre com premissas codificadas em uma linguagem lógica e faça consultas para extrair conclusões destas premissas
- Motor de inferência: atualiza a base de conhecimento com premissas fornecidas pelo usuário e faz inferências para extrair informações implı́citas.
- Base de conhecimento: armazena fatos e regras, fornecidas pelo usuário.
Ex)FACTS
progenitor(boris, jane).
progenitor(boris, marcia).
progenitor(adelia, jane).
progenitor(jane, tiago).
RULES
avo(X,Z) :- progenitor(X,Y), progenitor(Y,Z).
sudo apt-get install software-properties-common
sudo apt-add-repository ppa:swi-prolog/stable
sudo apt-get update
sudo apt-get install swi-prolog
