Hostname: page-component-745bb68f8f-lrblm Total loading time: 0 Render date: 2025-02-06T19:44:35.558Z Has data issue: false hasContentIssue false
  • English
  • Français

Multi-threading and message communication in Qu-Prolog

Published online by Cambridge University Press:  15 June 2001

KEITH CLARK ,
PETER J. ROBINSON  and
RICHARD HAGEN
KEITH CLARK
Affiliation:
Department of Computing, Imperial College, London, UK (e-mail: klc@doc.ic.ac.uk)
PETER J. ROBINSON
Affiliation:
Software Verification Research Centre, The University of Queensland, Australia (e-mail: pjr@csee.uq.edu.au)
RICHARD HAGEN
Affiliation:
Software Verification Research Centre, The University of Queensland, Australia (e-mail: pjr@csee.uq.edu.au)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Keywords

logic programmingmulti-threadinghigh-level communicationQu-PrologICM
Type
Regular Paper
Information
Theory and Practice of Logic Programming , Volume 1 , Issue 3 , May 2001 , pp. 283 - 301
Copyright
© 2001 Cambridge University Press