Objects with logic

Authors:
Mamdouh H. Ibrahim;Fred A. Cummins
Affiliations:
Electronic Data Systems Corporation, Research and Development, 3551 Hamlin Rd., Auburn Hills, MI;Electronic Data Systems Corporation, Research and Development, 3551 Hamlin Rd., Auburn Hills, MI
Venue:
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Year:
1990

Citing 7
Cited 1

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
An experience with a Prolog-based object-oriented language

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A concurrent object-oriented knowledge representation language Orient84/K: its features and implementation

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Objects in concurrent logic programming languages

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Unifying functional, object-oriented and relational programming with logical semantics

Research directions in object-oriented programming
Orient84/K: an object-oriented concurrent programming language for knowledge representation

Object-oriented concurrent programming
Bridging the Gap Between Object-Oriented and Logic Programming

IEEE Software

Integrating logic and object-oriented programming

ACM SIGPLAN OOPS Messenger

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes an approach to the integration of logic and object programming where predicates, logic expressions, and a generalized search protocol that support Prolog-like reasoning are implemented as an integral part of an object-oriented language. This logic programming facility provides 1) domain-based reasoning, 2) functional arguments, 3) support of the abstraction power of object-oriented languages, and 4) matching of complex object patterns, none of which are available in Prolog. The integration does not require logic facts to be local predicates in the environment; instead, facts are represented as objects in the application model. This permits recursive reasoning and backtracking on predicates that are defined on different domains. The design concepts and implementation of this approach are presented and its application is illustrated by an example.