Sintáxis

$$\mbox{t\'erminos} \left\{ \begin{array}{l} \mbox{t\'erminos ... ...ox{estructuras (t\'erminos compuestos)} \\ \end{array}\right.$$

e.g., de números: 1, 2, 0 (en algunos casos hay subdivisiones en reales y enteros).

e.g., de átomos: a, 'B', c_d, ...

e.g., de variables: A, _a, _

e.g., de estructuras: libro(autor,título,año).

Existen diferentes formas de representar estructuras. Estas están definidas por su nombre y número de argumentos: functor/arity.

curso(prolog,lunes,9,12,eduardo,morales,ccc,8301).
vs
curso(prolog,horario(lunes,9,12),profesor(eduardo,morales),lugar(ccc,8301)).

maestro(Materia,Maestro):-
       curso(Materia,Horario,Maestro,Lugar).
duracion(Materia,Tiempo):-
       curso(Materia,horario(Dia,TiempoI,TiempoF),Profesor,Lugar),
       suma(TiempoI,Tiempo,TiempoF).

vs
dia(prolog,lunes).
tiempoI(prolog,9).
tiempoF(prolog,12).
profesor_nombre(prolog,eduardo).
...

Se pueden tener estructuras dentro de los argumentos.