No. 5 (2002): Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo