Programación lógica: Construcción de programas. T. 1 d'occasion