Prolog/Introdução ao Prolog: diferenças entre revisões

[edição não verificada][edição não verificada]
Conteúdo apagado Conteúdo adicionado
Albmont (discussão | contribs)
Albmont (discussão | contribs)
Linha 116:
 
é um termo composto por um funtor de aridade 2 (''produto''), com dois parâmetros compostos.
 
Sintaticamente, termos como:
 
2 + 2
 
são termos compostos usando um funtor de aridade 2 ('+'). Ou seja, é a mesma coisa escrever ''2 + 2'' ou '' '+'(2,2)'', como pode ser visto com:
 
2 + 2 = '+'(2,2).
 
=== Listas ===