Programming Internet Based DAI Applications in Qu-Prolog

Clark, Keith; Robinson, Peter; Hagen, Richard

doi:10.1007/10693067_10

Cited by 5 publications

(2 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [8] we sketched how multi-threaded Qu-Prolog could be used to implement DAI applications. With this type of application in mind, we have recently added a concurrent object oriented layer to Qu-Prolog.…”

Section: Introductionmentioning

confidence: 99%

Agents as Multi-threaded Logical Objects

Clark

Robinson

2002

Computational Logic: Logic Programming and Beyond

Self Cite

View full text Add to dashboard Cite

Abstract. In this paper we describe a distributed object oriented logic programming language in which an object is a collection of threads deductively accessing and updating a shared logic program. The key features of the language, such as static and dynamic object methods and multiple inheritance, are illustrated through a series of small examples. We show how we can implement object servers, allowing remote spawning of objects, which we can use as staging posts for mobile agents. We give as an example an information gathering mobile agent that can be queried about the information it has so far gathered whilst it is gathering new information. Finally we define a class of co-operative reasoning agents that can do resource bounded inference for full first order predicate logic, handling multiple queries and information updates concurrently. We believe that the combination of the concurrent OO and the LP programming paradigms produces a powerful tool for quickly implementing rational multi-agent applications on the internet.

show abstract

Section: Introductionmentioning

confidence: 99%

Agents as Multi-threaded Logical Objects

Clark

Robinson

2002

Computational Logic: Logic Programming and Beyond

Self Cite

View full text Add to dashboard Cite

show abstract

“…Our main aim in designing the thread mechanism is to provide simple and powerful methods for programming distributed Prolog-based agent applications. Some simple examples of using our approach for DAI applications are given in (Clark et al, 1998).…”

Section: Introductionmentioning

confidence: 99%

Multi-threading and message communication in Qu-Prolog

Clark¹,

Robinson²,

Hagen³

2001

Theory and Practice of Logic Programming

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Logic Programming Languages for the Internet

Davison

2002

Computational Logic: Logic Programming and Beyond

View full text Add to dashboard Cite

Programming Internet Based DAI Applications in Qu-Prolog

Cited by 5 publications

References 1 publication

Agents as Multi-threaded Logical Objects

Agents as Multi-threaded Logical Objects

Multi-threading and message communication in Qu-Prolog

Logic Programming Languages for the Internet

Contact Info

Product

Resources

About