Hostname: page-component-669899f699-ggqkh Total loading time: 0 Render date: 2025-04-24T19:50:54.647Z 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: [email protected])
PETER J. ROBINSON
Affiliation:
Software Verification Research Centre, The University of Queensland, Australia (e-mail: [email protected])
RICHARD HAGEN
Affiliation:
Software Verification Research Centre, The University of Queensland, Australia (e-mail: [email protected])
Get access Rights & Permissions [Opens in a new window]

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.

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

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable