Programming with communicating nondeterministic logic objects

Object-oriented logic programming (OOLP) is a hybrid of object-orientation and logic programming paradigms. In this paper, we present a new object-oriented logic programming language P&P. P&P supports programming with communicating nondeterministic objects and stream parallelism for communic...

Full description

Saved in:
Bibliographic Details
Main Authors: Man-Lai Tse, Wing-Hang Wong, Ho-Fung Leung
Format: Conference Proceeding
Language:English
Subjects:
Computer science
Concurrent computing
Encapsulation
Logic design
Logic programming
Message passing
Natural languages
Parallel processing
Prototypes
Real time systems
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Object-oriented logic programming (OOLP) is a hybrid of object-orientation and logic programming paradigms. In this paper, we present a new object-oriented logic programming language P&P. P&P supports programming with communicating nondeterministic objects and stream parallelism for communication among objects. Intuitively, each object has a Parlog 'shell' with Prolog 'contents'. One concern in our design is to integrate Prolog's backtracking, sequential search with Parlog's concurrent execution. Hence P&P supports committed inter-object message passing via the Parlog 'shell' of the objects. Also, object-oriented features are added to provide encapsulation and code reuse.
ISSN:1087-4089
2375-527X
DOI:10.1109/ISPAN.1996.509042