Juegos de Azar y Programación Declarativa Alejandro Pérez Roca Daniel Martín Prieto Jorge Tudela Glez de Riancho.