INFERENCIA VISUAL PARA LOS SISTEMAS DEDUCTIVOS LBPco, LBPc y LBPo