• Introducción y licencia de uso
• Requisitos
• Créditos y licencia
• Metaprogramación y orden superior
• Orden Superior
• Metaprogramación
• Predicados dinámicos
• Declaración de predicados dinámicos
• Añadiendo cláusulas
• Eliminando cláusulas
• Finalidad de los predicados dinámicos
• Ejemplo
• Nota sobre la coherencia lógica de los programas
• Metaprogramando
• Manipulación de términos
• Manipulación de argumentos con "arg"
• Manipulación de argumentos con "univ"
• Llamadas de orden superior
• Predicados standard de orden superior
• El predicado map/3
• La familia de predicados "findall"
• Ejemplo de metapredicado

SUPER!