An extension of PROLOG for object-oriented programming in logic

Authors:
A. Schmidt;F. Belli
Affiliations:
The University of Paderborn, Federal Republic of Germany;The University of Paderborn, Federal Republic of Germany
Venue:
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Year:
1990

Citing 8
Cited 1

Object-oriented programming: Themes and variations

AI Magazine
Encapsulation and inheritance in object-oriented programming languages

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
An experience with a Prolog-based object-oriented language

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
An integration of logic and object-oriented programming

ACM SIGPLAN Notices
Some aspects on the development and validation of FIREX: a knowledge-based system for the transport of dangerous goods and fire department consulting

IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Basic concepts in object oriented programming

OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Bridging the Gap Between Object-Oriented and Logic Programming

IEEE Software
Object oriented programming

ACM SIGPLAN Notices

A built-in test language for PROLOG to validate knowledge-based systems

IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we attempt extending Logic Programming “smoothly” in order to allow object-orientation in a PROLOG-like environment. We call our extension “PROLoop” (Yet another PROLOG-based Language for Object-Oriented Programming). PROLoop is the essential component of a PROLOG-based environment (“PROViro”) to develop knowledge and rule-based expert systems.PROViro consists of a series of pragmatic components as to testing (PROTest), knowledge version control (PROVers), self actualization of the documentation (PROSelf), etc. The potential of PROLoop stems from its simplicity. This simplicity makes PROLoop easy to use and to extend, allows to achieve a high degree of reliability of PROLoop programs, increases their maintainability, etc. Because of its artlessness, PROLoop is also a good example for understanding and teaching object-oriented programming. Nevertheless, PROLoop possesses sufficient expression power which we demonstrate by including non-trivial examples produced in a real project.