• Aritmética: como hacer cuentas en Prolog, y en general, cómo trabajar con valores
  
• Functores
• Polimorfismo

Pueden complementar lo visto con las siguientes guías:

• Aritmética
• Práctica asociada: Inversibilidad
  
• Functores y Polimorfismo
• Práctica asociada: Functores