Logic and Objects

Logic and Objects

4.11 - 1251 ratings - Source

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
Publisher: - 1992


You Must CONTINUE and create a free account to access unlimited downloads & streaming