Qu-Prolog

Multi-threading and message communication in Qu-Prolog. 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 for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 15 articles )

Showing results 1 to 15 of 15.
Sorted by year (citations)

  1. Ma, Jiefei; Russo, Alessandra; Broda, Krysia; Clark, Keith: DARE: a system for distributed abductive reasoning. (2008) ioport
  2. Clark, Keith L.; Robinson, Peter J.; Amboldi, Silvana Zappacosta: Multi-threaded communicating agents in Qu-Prolog (2006)
  3. Coffey, Simon; Gaertner, Dorian: Implementing pheromone-based, negotiating forager agents (2006)
  4. Toni, Francesca (ed.); Torroni, Paolo (ed.): Computational logic in multi-agent systems. 6th international workshop, CLIMA VI, London, UK, June 27--29, 2005. Revised selected and invited papers. (2006)
  5. Clark, Keith L.; Robinson, Peter J.; Hagen, Richard: Multi-threading and message communication in qu-prolog (2004) ioport
  6. Urban, Christian; Pitts, Andrew M.; Gabbay, Murdoch J.: Nominal unification (2004)
  7. Robinson, Peter J.; Hinchey, Mike; Clark, Keith: Qu-Prolog: an implementation language for agents with advanced reasoning capabilities (2003) ioport
  8. Utting, Mark; Robinson, Peter; Nickson, Ray: Ergo 6: a generic proof engine that uses Prolog proof technology (2002)
  9. Vlahavas, Ioannis: MACLP: multi agent constraint logic programming (2002)
  10. Clark, Keith; Robinson, Peter J.; Hagen, Richard: Multi-threading and message communication in Qu-Prolog (2001)
  11. Shield, J.; Hayes, I. J.; Carrington, D. A.: Using theory interpretation to mechanise the reals in a theorem prover (2001)
  12. Martin, Andrew; Nickson, Ray; Utting, Mark: A tactic language for Ergo (1997)
  13. Nickolas, Peter; Robinson, Peter J.: The Qu-Prolog unification algorithm: formalisation and correctness (1996)
  14. Staples, John; Robinson, Peter J.; Hazel, Daniel: A functional logic for higher level reasoning about computation (1994)
  15. Cheng, Anthony S. K.; Paterson, Ross A.: An implementation for a higher level logic programming language (1992)