Multi-threading and message communication in Qu-Prolog

Authors:
Keith Clark;Peter J. Robinson;Richard Hagen
Affiliations:
Department of Computing, Imperial College, London, UK (e-mail: klc@doc.ic.ac.uk);Software Verification Research Centre, The University of Queensland, Australia (e-mail: pjr@csee.uq.edu.au);Software Verification Research Centre, The University of Queensland, Australia (e-mail: pjr@csee.uq.edu.au)
Venue:
Theory and Practice of Logic Programming
Year:
2001

Citing 9
Cited 8

Linda in context

Communications of the ACM
APRIL—Agent PRocess Interaction Language

ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Concurrent programming in ERLANG (2nd ed.)

Concurrent programming in ERLANG (2nd ed.)
Programming languages for distributed applications

New Generation Computing
Concurrency in Prolog using threads and a shared database

Proceedings of the 1999 international conference on Logic programming
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog

PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Programming Internet Based DAI Applications in Qu-Prolog

Selected Papers from the 4th Australian Workshop on Distributed Artificial Intelligence, Multi-Agent Systems: Theories, Languages, and Applications
Interactively Verifying a Simple Real-time Scheduler

Proceedings of the 7th International Conference on Computer Aided Verification
A tool for developing correct programs by refinement

FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement

Agents as Multi-threaded Logical Objects

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents

Annals of Mathematics and Artificial Intelligence
Agent-based distributed software verification

ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Nominal logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
ALBA: a generic library for programming mobile agents with prolog

ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
High-level multi-threading programming in logtalk

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Multi-threading inside prolog for knowledge-based enterprise applications

INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Multi-threaded communicating agents in qu-prolog

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the multi-threading and internet message communication capabilities of Qu-Prolog. Message addresses are symbolic and the communications package provides high-level support that completely hides details of IP addresses and port numbers as well as the underlying TCP/IP transport layer. The combination of the multi-threads and the high level inter-thread message communications provide simple, powerful support for implementing internet distributed intelligent applications.