Objetivos Integrados do Prolog
Objetivos integrados ao Prolog
Este capítulo contém um resumo descritivo da maioria dos objetivos internos importantes do Prolog. Para mais detalhes consulte a documentação do SWI-Prolog
4.1 Objetivos de Utilidade
help(S)
S deve ser um átomo simbólico, por exemplo, help(assert).
halt
Para o Prolog, retoma o sistema operacional.
trace, notrace
Liga e desliga o trace, respectivamente.
4.2 Universais (verdadeiro e falha)
true
Sempre verdadeiro como objetivo.
fail
Sempre falha como objetivo.
4.3 Carregando programas Prolog
consult(F)
Carrega o programa do arquivo F. F deve ser vinculado à expressão do designador do arquivo, por exemplo, F='[root.programs.prolog]prog.pro' ou F='/home/user/prolog/sample.pl', dependendo do sistema operacional.
reconsult(F)
Semelhante ao consult, exceto que cada predicado já definido tem sua definição substituída pela nova definição sendo carregada.
[F1,F2,...]
Notação de colchetes, ou seja, consulta F1, depois consulta F2, então ...
4.4 Objetivos aritméticos
N > M , N < M, N =< M, N >= M
Essas relações testam exatamente como parecem. Obviamente, M e N devem ser associados a números para que esses objetivos sejam bem-sucedidos ou falhem (e não causem erros).
4.5 Tipos de teste
atom(X)
Testa se X está ligado a um átomo simbólico. Por exemplo,
?- atom(foot).
yes
?- atom(3).
no
?- atom('foot').
yes
?- atom("foot").
no
integer(X)
Testa se X está associado a um número inteiro.
real(X)
Testa se X está associado a um número real.
string(X)
Testa se X está associado a uma string.
4.6 Igualdade de termos Prolog e unificação
X = Y, X \=Y
Testa se X e Y podem ser unificados ou não, respectivamente. Por exemplo,
?- [X,Y|R] = [a,b,c].
X = a, Y = b, R = [c]
?- [X,Y,Z] = [a,b].
noX ==Y, X \== Y
Testa se X e Y estão atualmente co-ligados, ou seja, foram associados ou compartilham o mesmo valor, ou não, respectivamente. Por exemplo,
?- X = 3, Y = 1 * 3, X == Y.
no
?- X = a, [Y|_]= [a,b,c], X == Y.
X = a, Y = a
4.7 Controle no Prolog
call(P)
Força P a ser um objetivo; tem sucesso se P conseguir, senão falhará.
!
Cut - Predicado de corte de Prolog.
4.8 Teste de variáveis no Prolog
ground(G)
Testa se G possui variáveis lógicas não associadas.
var(X)
Testa se X está vinculado a uma variável Prolog.
4.9 Assert e Retract
asserta(C)
A adiciona a cláusula C no banco de dados acima de outras cláusulas com o mesmo predicado de chave. O predicado chave de uma cláusula é o primeiro predicado encontrado quando a cláusula é lida da esquerda para a direita.
assertz(C), assert(C)
A adiciona a cláusula no banco de dados abaixo de outras cláusulas com o mesmo predicado de chave.
retract(C)
Remove C do banco de dados. C deve ser suficientemente instanciado para determinar a chave do predicado.
retractall(X)
Remove todas ocorrências do predicado cuja a chave seja X.
4.10 Vinculando uma variável a um valor numérico
X is E
Vincula a variável lógica V ao valor numérico de E. A expressão E deve ser um número ou uma expressão com valor numérico, convencionalmente entre parênteses, como, por exemplo, (2 * Z + W) / (4 * Z -W ), supondo que Z e W próprios estão vinculados a números no momento da avaliação desta expressão.
?- X is 22, Y is X * 3, Z is sqrt(Y).
X = 22 .
Y = 66 .
Z = 8.12404 .
4.11 Negação procedural e negação como falha
not(Q), \+Q
Negação como falha, como definido por:
not(Q) :- call(Q), !, fail.
not(Q).
4.12 Entrada / saída no Prolog
seeing(X)
É bem-sucedido se X estiver (ou puder ser) vinculado à porta de leitura atual. X=entrada via teclado.
see(X)
Abre a porta para o arquivo de entrada vinculado a X. A entrada subsequente para 'ler' é então obtida dessa porta.
seen
Fecha qualquer porta/arquivo de entrada selecionado e faz com que 'read' observe o usuário.
read(X)
Lê a expressão do tipo Prolog da porta atual, armazenando valor em X.
telling(X)
É bem-sucedido se X estiver (ou puder ser) vinculado à porta de saída atual; X=tela.
tell(X)
Abre a porta para o arquivo de saída vinculado a X. A saída subsequente de 'gravação' ou 'exibição' é enviada para essa porta.
told
Fecha qualquer porta/arquivo de saída selecionado e reverte para a saída da tela.
write(E)
Grava a expressão do Prolog vinculada a E na porta de saída atual.
nl
Próxima linha (line feed).
tab(N)
Escreva N espaços na porta de saída selecionada.
4.13 Termos e cláusulas do Prolog como dados
clause(H,B)
Recupera cláusulas na memória cujo a cabeça corresponde a H e corpo corresponde a B. H deve ser suficientemente instanciado para determinar o predicado principal da cabeça.
functor(E,F,N)
E deve ser associado a uma expressão de functor da forma 'f(...)'. F será vinculado a 'f' e N será vinculado ao número de argumentos que f possui.
arg(N,E,A)
E deve ser vinculado a uma expressão de functor, N é um número inteiro e A será vinculado ao enésimo argumento de E (ou falhará).
name(A,L)
Converta entre átomo e lista.
?- name('.pl',L).
L = [46,112,108].
?- writeln("prog").
[112, 114, 111, 103]
Yes
?- append("prog",[46,112,108],F), name(N,F).
F = [112, 114, 111, 103, 46, 112, 108]
N = 'prog.pl'
=..
'univ' converte entre termo e lista. Por exemplo,
?- parent(a,X) = .. L.
L = [parent, a, _X001]
?- P=..[parent,jack,mary].
P= parent(jack,mary)
?- yes = .. L.
L = [yes]
?- P=..[fact].
P= fact4.14 Operadores Prolog
:- op(P,T,O).
Declara um símbolo de operador. Por exemplo, com o código fonte ...
:- op(500,xfx,'has_color').
a has_color red.
b has_color blue.
Então ...
?- b has_color C.
C = red
?- What has_color red.
What = a
P é a precedência, um número inteiro. Um P maior tem menos precedência (capacidade de agrupar). Os valores de número de precedência para objetivos internos dependem do sistema Prolog atual. O usuário precisa descobrir quais são esses valores. (Consulte os materiais de referência ou use o recurso de ajuda com a palavra-chave 'operador').
T é o tipo de operador:
xfx infix não associativo
xfy infix associativo à direita
yfx infix associativo à esquerda
fx prefix não associativo
fy prefix associativo à direita
xf postfix não associativo
yf postfix associativo à esquerda
O é o nome do operador. Os símbolos que podem ser usados podem depender do leitor de expressão Prolog (ou seja, que tipo de Prolog você está usando).
Operadores internos, em ordem de precedência ("capacidade de agrupar", menor capacidade primeiro):
:- xfx, fx valor P alto
?- fx
; xfy
, xfy
not fy
is, =.. , <, etc. xfx
+, - yfx, fx
*, / yfx
^ xfy valor P menor
Às vezes, é necessário paciência para atribuir valores de precedência apropriados para os operadores do usuário, de modo que eles sejam lidos com o significado pretendido.4.15 Encontrando todas as respostas no prolog
findall(Things,GoalExpression,Bag)
Calcula todas as coisas que satisfaçam a GoalExpresssion e as coloca na lista Bag. Se GoalExpression falhar, Bag será a lista vazia []. findall trata todas as variáveis em GoalExpression como se fossem quantificadas existencialmente.
bagof(Things,GoalExpression,Bag)
Calcula todas as coisas que satisfaçam a GoalExpresssion e as coloca na lista Bag. bagof falhará se GoalExpression falhar. Variáveis livres em GoalExpression podem ser vinculadas, gerando muitos sacos. Veja os exemplos na Seção 2.12.
setof(Things,GoalExpression,Bag)
Calcula todas as coisas que satisfaçam a GoalExpresssion e as coloca na lista Bag. Semelhante ao bagof, exceto que o Bag não conterá duplicatas e será ordenado.
Veja Também