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
→Termos compostos: Exemplos |
|||
Linha 96:
O número de parâmetros, chamado [[aridade]] do termo, é significativo. Um termo é identificado por sua cabeça e aridade, normalmente escrita como funtor/aridade. Átomos e números também podem ser identificados dessa forma, como um termo de aridade zero (ex: um_atomo/0).
==== Exemplos ====
rodrigo
é um átomo, e pode ser considerado um funtor de aridade 0.
gordo(rodrigo)
é um termo composto por um funtor de aridade 1 (''gordo''), com um parâmetro.
pai(rodrigo, gabriel)
é um termo composto por um funtor de aridade 1 (''pai''), com dois parâmetros (''rodrigo'' e ''gabriel'').
Nada impede que os parâmetros também sejam termos compostos:
produto(fracao(1,raiz(produto(2,pi))),exp(menos(fracao(quadrado(x),2))))
é um termo composto por um funtor de aridade 2 (''produto''), com dois parâmetros compostos.
=== Listas ===
| |||