PROLOG
Sintaxe
- Sintaticamente todos os objetos em PROLOG são denominados termos.
- O conjunto de termos PROLOG é o menor conjunto que satisfaz às seguintes condições:
- Toda constante é um termo;
- Toda variável é um termo;
- Se t1, t2, ..., tn são termos e f é um átomo, então f(t1,t2,...,tn) também é um termo, onde o átomo f desempenha o papel d um símbolo funcional n-ário. Diz ainda que a expressão f(t1,t2,...tn) é um termo funcional PROLOG.