Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo