Wikilivros

Prolog/Predicados embutidos: diferenças entre revisões

Explorar interativamente o histórico
(Ver alterações pendentes à versão publicada)
[revisão pendente][revisão pendente]
← Edição anterior
Conteúdo apagado Conteúdo adicionado
VisualTexto wiki
 
Linha 3:
{{em tradução}}
 
==Termo de unificação==
==Term unification==
;=/2
:Unificação Prolog
:Prolog unification
;unify_with_occurs_check/2
:
;(\=)/2
:Sem unificação Prolog
:Not Prolog unifiable
 
==TypeTeste testingde tipo==
;var/1
:Verdadeiro se o termo atual for uma variável.
:True if term currently is a variable
;atom/1
:Verdadeiro se o termo for ligado a um átomo.
:True if term is bound to an atom
;integer/1
:Verdadeiro se o termo está ligado a um número inteiro.
:True if term is bound to an integer
;float/1
:Verdadeiro se o termo está ligado a um número de ponto flutuante.
:True if term is bound to a floating point number
;atomic/1
:Verdadeiro se o termo é ligado a um átomo, inteiro ou número de ponto flutuante.
:True if term is bound to an atom, integer or floating point number
;compound/1
:Verdadeiro se o termo é ligado a um termo composto.
:True if term is bound to a compound term
;nonvar/1
:Verdadeiro se o termo não for uma variável.
:True if term is not a variable
;number/1
:Verdadeiro se o termo é ligado a um número inteiro ou ponto flutuante.
:True if term is bound to an integer or floating point number
 
==Comparação de Termos==
Linha 43:
:maior ou igual a
 
==Termo de criação e decomposição==
==Term creation and decomposition==
;functor/3
:
Linha 53:
:
 
==Avaliação aritmética==
==Arithmetic evaluation==
;is/2
:
 
==Comparação aritmética==
==Arithmetic comparison==
;'=='/2
:Arithmetic equal
Obtido em "https://pt.wikibooks.org/wiki/Prolog/Predicados_embutidos"