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.

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

• Prolog Documentation