Prolog/Predicados embutidos: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
m Copiando e colando da en-wiki. Qualquer dia eu trraduzo |
limpeza da sintaxe utilizando AWB |
||
Linha 2:
{{em tradução}}
==Term unification==
Linha 59 ⟶ 58:
==Arithmetic comparison==
;'=
:Arithmetic equal
;'=\='/2
Linha 73 ⟶ 72:
==Clauses==
===Clause retrieval and information===
;clause/2
Linha 99 ⟶ 97:
==Input and output==
===Stream selection and control===
;current_input/1
Linha 206 ⟶ 203:
==Functors==
===Evaluable functors===
;(+)/2
|