PROGRAMACIÓN LÓGICA (VILARES FERRO, MANUEL / ALONSO PARDO, MIGUEL A. / VALDERRUTEN VIDAL, ALBERTO)