Lógica de Estructuras de Características Tipadas: Con Aplicaciones a Gramáticas de Unificación, Programas Lógicos y Resolución de Restricciones (Tractos de Cambridge en Ciencia Informática Teórica)