Uma lógica para programação lógica orientada a objetos

Apresentamos uma lógica para raciocinar sobre objetos complexos, que é uma versão revisada e significativamente ampliada da O-lógica de Maier. A lógica suporta naturalmente objetos complexos, identidade de objeto, dedução, é tolerante a dados inconsistentes e possui muitas outras características interessantes. Ela combina elegantemente os paradigmas orientados a objetos e orientados a valores e, em particular, contém todo o cálculo de predicados como um caso especial. Nosso tratamento de conjuntos também é digno de nota: é mais geral do que ELPS e COL, mas evita os problemas semânticos encontrados em LDL. A lógica proposta possui um procedimento de prova baseado em resolução que é sólido e completo.