Uso de Síntesis de Programas y Programación Lógica Inductiva para resolver Problemas de Bongard