Clark, Keith; Robinson, Peter J.; Hagen, Richard Multi-threading and message communication in Qu-Prolog. (English) Zbl 1103.68437 Theory Pract. Log. Program. 1, No. 3, 283-301 (2001). Summary: 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. MSC: 68N17 Logic programming Keywords:logic programming Software:Qu-Prolog PDF BibTeX XML Cite \textit{K. Clark} et al., Theory Pract. Log. Program. 1, No. 3, 283--301 (2001; Zbl 1103.68437) Full Text: DOI