The issues involved in augmenting logic programming with object-oriented features are explored in this book. A new language built on top of logic is introduced and programming examples illustrate the power of the extension, highlighting inheritance, and the construction of modules.In Proceedings of the International Workshop on Logic Programming, Debrecen, Hungary, 1980. [Cla78] K.L. ... The LPA MacPrologtm Reference Manual. Logic ... A first order semantics of a connective suitable to express concurrency. In Proc.
|Title||:||Logic and Objects|
|Author||:||Frank G. McCabe|