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.


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)