Paul Tarau and Koen De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP"96, Bonn, September 1996. Available from http://clement.info.umoncton.ca/~lpnet/lpnet11.html http://clement.info.umoncton.ca/~lpnet/lpnet11.html.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... particular, constraint logic programming) has already been shown particularly successful [37] Sophisticated distributed applications can be developed with current constraint logic programming systems using the available low level primitives to build communication abstractions such as blackboards [1, 7, 44] and even incorporating distributed variable based communication (which can be supported, for example, using attributed variables [19] In our experience the main feature found lacking in standard systems is native support for concurrent execution. While many systems allow starting a whole ....

Paul Tarau and Koen De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP"96, Bonn, September 1996.

.... called W Prolog, has been written in Java [Winikoff 1996] Amzi Prolog has a Java class interface to its Prolog system [Amzi Prolog 1996] MINERVA is a compiler for Prolog which generates Java byte codes [IF Computer 1996] and a similar approach is used in the jProlog addition to BinProlog [Tarau 1996]. Another technique is to link Java to a Prolog engine through its sockets class [Ferguson 1996] Interestingly, he rejected this approach due to firewall restrictions on non HTTP traffic. A drawback with using Java is its restrictive security features. For example, it is quite difficult to store ....

....application called MarketSpace [Eriksson et al. 1996] However, the authors note the need for a language that supports richer notions of concurrency, and features such as persistence. The blackboards in Multi BinProlog are the basis of LogiMoo, a high level kernel for Internet collaborative work [Tarau and De Bosschere 1996]. It uses local and virtual blackboards to hide the underlying network. Similar approaches may be possible in other LP languages with Linda style blackboards, such as SICStus Prolog [SICStus 1996] and Prolog CIAO [Hermenegildo and Greene 1991] There is a commercial product along these lines, ....

Tarau, P. and De Bosschere, K. 1996. Virtual World Brokerage with BinProlog and Netscape ", In Proc. of the 1st Workshop on Logic Programming Tools for Internet Applications, P. Tarau, A. Davison, K. De Bosschere, and M. Hermenegildo (eds.), JICSLP'96: Joint Int.

.... versions of the library which for example may make extensive use of concurrency internally (on those LP CLP systems that support it) to overlap network requests and include support for (active) VRML (some quite interesting work in this area, in the motivating context of MOOs, is presented in [30]) In addition to being part of the Prolog CIAO system, the PiLLoW library is provided as a fully public domain standard library for SICStus Prolog and other Prolog and CLP systems, supporting most of its functionality. Please contact the authors or consult our WWW site ....

Paul Tarau and Koen De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP"96, Bonn, September 1996. Available from http://clement.info.umoncton.ca/~lpnet/lpnet11.html.

....languages. This paper proposes such a coordination logic , inspired from our experiments in programming agents for the LogiMOO Virtual World, as well as some agent programming techniques in a high level distributed programming framework. 2 LogiMOO: a multi paradigm virtual world LogiMOO [11, 28, 22] is a BinProlog based Virtual World running under Netscape or Internet Explorer for distributed group work over the Internet and user crafted virtual places, virtual objects and agents. LogiMOO is implemented on top of a multi threaded blackboard based logic programming system (MultiBinProlog ....

....on the interaction metaphor and or visualization without a principled approach to the underlying coordination logic. A growing number of sophisticated Web based applications and tools are on the way to be implemented in LP CLP languages. Among them, work with a similar emphasis on can be found in [6, 19, 7, 4, 21, 18, 28]. Among the most promising recent developments Luca Cardelli s Oblique project at Digital and mobile agent applications [2, 8] Distributed OZ [29, 30] and IBM Japan s aglets [15] We share their emphasis on going beyond code mobility as present in Java, for instance, towards control mobility. We ....

P. Tarau and K. De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In Tarau et al. [27]. http://clement.info.umoncton.ca/ lpnet.

....Networked Interactor, although its wishmaker status (high level, dense, network ubiquitous, mobile, etc. agent programming language) is an equally good reason for its name. 2 Basic Ontology: The Users View Jinni is based on a simple Things, Places, Agents ontology, borrowed from MUDs and MOOs [14, 1, 3, 9, 18, 15]. 1. Things are represented as Prolog terms, basically trees of embedded records containing constants and variables to be further instantiated to other trees. 2. Places are processes running on various computers with at least one server component listening on a port and a blackboard component ....

P. Tarau and K. De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In P. Tarau, A. Davison, K. De Bosschere, and M. Hermenegildo, editors, Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP'96, Bonn, Sept. 1996. http://clement.info.umoncton.ca/ lpnet.

....not find the assumption (with the non blocking in 1 operation) will add it, so that the second will consume it, provided, of course, that their life span intersects. Note that our concepts are scalable to the case when the agents are on different computers as implemented in the LogiMOO system [TDB96]. The resulting = 1 operation is implemented as: X : cin(X) non blocking variant of in 1, fails if not found =X : out(X) puts term X to the shared blackboard To fully emulate = 1 in this context, each process would have to spawn a thread looping over a blocking rd 1 operation 3 which ....

Paul Tarau and Koen De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In Paul Tarau, Andrew Davison, Koen De Bosschere, and Manuel Hermenegildo, editors, Proceedings 1st Workshop on Logic Programming Tools for INTERNET Applications, Bonn, September 1996.

....multisentential anaphoric reference, extensibility within the same language and to other languages, immediate evaluation, and our positional treatment of nouns. The last three sections respectively discuss related work, future work, and our conclusions. 3 2. The architecture of LogiMOO LogiMOO [14, 38, 32] is a BinProlog based Virtual World running under Web browsers for distributed group work over the Internet and user crafted virtual places, virtual objects and agents. The main layers of the LogiMOO architecture are: ffl the underlying BinProlog system which also provides client server and CGI ....

....are some more advanced primitives like blackboard operations working on lists of terms instead of one term, operations to collect the complete contents of a blackboard, and so on. LogiMOO s primitive operations are implemented on top of Multi BinProlog s Lindastyle operations [33] We refer to [14, 38] for a description of the wide variety of blocking and non blocking as well as non deterministic blackboard operations (backtracking through alternative answers) For reasons of embeddability in multi paradigm environments and semantic simplicity we have decided to drop non determinism and return ....

Paul Tarau and Koen De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In Tarau et al. [37]. http://clement.info.umoncton.ca/ lpnet. 22

....links from ftp: clement.info.umoncton.ca tarau or following links from http: www.cs. unt.edu tarau The reader interested in more information on Internet Programming with BinProlog and its new Java based component is refered to the following papers: 10, 9, 12, 13, 18, 11, 14, 16] and [15, 3, 17, 4, 20, 1, 2] Related BinProlog documentation is available at: 8, 5, 6, 7] Slides from an ILPS 97 tutorials on Internet Programming with BinProlog are available following links from: http: www.cs.unt.edu tarau ....

P. Tarau and K. De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In P. Tarau, A. Davison, K. De Bosschere, and M. Hermenegildo, editors, Proceedings 1st Workshop on Logic Programming Tools for INTERNET Applications, Bonn, Sept. 1996. http://clement.info.umoncton.ca/ lpnet.

.... follows: TITLE BinProlog CGI counter TITLE HTML BODY Try a BinProlog based A HREF= bpinet bin bp.exe bpinet cgi counter.pro CGI Web counter A ABSOLUTE PATH BODY HTML You can try it out by following the demo link at: http: www.binnetcorp.com BinProlog Look for LogiMOO [19, 1], a more advanced BinProlog based Internet application, now also running directly under Netscape, at: http: clement.info.umoncton.ca tarau logimoo 3.1.1 A BinProlog Query Evaluator A more complex script (see files cgi query.pro and cgi query.html) needs to be used to pass information from a ....

P. Tarau and K. De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In P. Tarau, A. Davison, K. De Bosschere, and M. Hermenegildo, editors, Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP'96, Bonn, Sept. 1996. http://clement.info.umoncton.ca/ lpnet.

....language sentences would have to be parsed is formal and straightforward enough while being already relatively close to natural language. In this article we incorporate natural language consultation capabilities into a virtual world system, LogiMOO, that was introduced in (De Bosschere, Perron, Tarau 1996). Our natural language front end is extensible in the sense that it is easy for the user to tailor it to a particular virtual world through defining the nouns, verbs and adjectives specific to that world. These definitions are done in user friendly terms, with the system being responsible for ....

....teleport from one place to another, a wizard resident on the server, ownership of objects, the ability to transfer ownership and a built in notifier agent watching for messages as a background thread. LogiMOO s primitive operations are implemented on top of Multi BinProlog s Linda style operations (Tarau 1996). We refer to (De Bosschere, Perron, Tarau 1996; Tarau De Bosschere 1996) for a full description of these operations. Here are the basic primitives: out(X) Puts X on the server. in(X) Takes an object matching X from 1 Electronically available and remotely executable with Netscape 3.0 from ....

[Article contains additional citation context not shown here]

Tarau, P., and De Bosschere, K. 1996. Virtual World Brokerage with BinProlog and Netscape. In Tarau, P.; Davison, A.; De Bosschere, K.; and Hermenegildo, M., eds., JICSLP'96.

....The capabilities of reasoning with incomplete knowledge and to handle conflict management have not been addressed at this point. Communications Architecture Our feature interaction model is built in BinProlog (Tarau 1997) which contains a Linda like tuple space. Virtual blackboards (Bosschere Tarau 1996) allow efficient mirroring of remote sites over TCP IP links. Blackboards feature backtracking, guarded evaluation, etc. A blackboard s basic characteristics are (i) it is persistent, ii) the data are manipulated associatively (i.e. based on their content, rather than on their address) and ....

....working on lists of terms instead of one term, operations to collect the complete contents of a blackboard, and so on. The primitive operations used in the feature interaction model are implemented on top of BinProlog s Linda style operations (Tarau 1997) We refer to (De Bosschere, Perron, Tarau 1996; Tarau De Bosschere 1996) for a description of the wide variety of blocking and non blocking as well as nondeterministic blackboard operations. For reasons of embeddability in multi paradigm environments and semantic simplicity we have decided to drop nondeterminism and return to a subset ....

[Article contains additional citation context not shown here]

Tarau, P., and De Bosschere, K. 1996. Virtual World Brokerage with BinProlog and Netscape. In Tarau, P.; Davison, A.; De Bosschere, K.; and Hermenegildo, M., eds., Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications.

....he did not have them ) 12 Related work BinProlog related papers can be found following links from http: www.cs. unt.edu tarau The reader interested in the internals of BinProlog and other issues related to binary logic programs, their transformations and performance evaluation is referred to [23, 12, 14, 6, 8, 15, 13, 11, 10, 17, 16, 2, 32, 9, 29, 18, 31, 26, 4, 3, 7, 24, 5, 1, 25, 27, 28] Related BinProlog documentation is available at: 22, 19, 20, 21] ....

P. Tarau and K. De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In P. Tarau, A. Davison, K. De Bosschere, and M. Hermenegildo, editors, Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP'96, Bonn, Sept. 1996. http://clement.info.umoncton.ca/ lpnet.

No context found.

Paul Tarau and Koen De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP"96, Bonn, September 1996. Available from http://clement.info.umoncton.ca/~lpnet/lpnet11.html http://clement.info.umoncton.ca/~lpnet/lpnet11.html.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC