Tutorial de SWI-Prolog
Para inicializar o interpretador, entre com o comando:
swipl
Para entrar no modo de inserção de fatos e regras, digite o comando:
[user].
Assim, você poderá entrar com os fatos:
pai(osmar,wesley).
pai(osmar,diogo).
ou regras:
pai(X,Y) :- homem(X), pai-mae(X,Y).
Após inserir todos os comandos, aperte Crtl+D para retornar ao modo anterior. Então, você pode questionar:
pai(osmar,X).
Você pode digitar ; para mostrar mais soluções. Para sair, digite o comando:
halt
swipl
Para entrar no modo de inserção de fatos e regras, digite o comando:
[user].
Assim, você poderá entrar com os fatos:
pai(osmar,wesley).
pai(osmar,diogo).
ou regras:
pai(X,Y) :- homem(X), pai-mae(X,Y).
Após inserir todos os comandos, aperte Crtl+D para retornar ao modo anterior. Então, você pode questionar:
pai(osmar,X).
Você pode digitar ; para mostrar mais soluções. Para sair, digite o comando:
halt
Listar os fatos e regras
listing.
Usando Arquivos com SWI-Prolog
Crie um arquivo com extensão pl, por exemplo pai.pl, com os fatos e as regras. Então você pode carregar o arquivo da seguinte maneira:
[pai].
Você pode questionar em seguida.
[pai].
Você pode questionar em seguida.
Usando IDE SWI-Prolog
Digite o comando abaixo para iniciar um editor de Prolog em um novo arquivo:
edit(file('pai.pl')).
No editor, digite os fatos e regras. Então clique em:
Compile / Compile buffer
Então você pode questionar novamente.
edit(file('pai.pl')).
No editor, digite os fatos e regras. Então clique em:
Compile / Compile buffer
Então você pode questionar novamente.