Extending logic programming

An extension of logic programming, called ordered logic programming, which includes some abstractions of the object-oriented paradigm, is presented. An ordered program consists of a number of modul...