Next: 9.1 Up: Introducción a la deducción Previous: 8.6 Programas que hagan Contents
Para acabar, aquí pongo una colección de bastantes ejemplos (sin comentar). Los he hecho yo, así que si encuentras fallos avísame.
Los 14 primeros están explicados con palabras en la sección 5.
