On the expressive power of ordered logic
Francesco Buccafurri, Nicola Leone, Francesco Scarcello · AI Communications · 1996
Ordered Logic ($\mathcal{OL}$ ) is an elegant, yet powerful extension of logic programming with the object-oriented notions of modules, inheritance and exceptions. The capability to naturally express several forms of nonmonotonic reasoning is a major