检索结果-内蒙古大学图书馆

High-level networking with mobile code and first order AND-continuations

THEORY AND PRACTICE OF logic programming 2001年第3期1卷 359-380页

作者： Tarau, P Dahl, V Univ N Texas Dept Comp Sci Denton TX 76203 USA Simon Fraser Univ Dept Comp Sci Log & Funct Programming Grp Burnaby BC V5A 1S6 Canada

We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehensive logic programming based Internet programming framework. Mobile threads are implemented by capturing first order continuations in a compact data structure sent over the network. Code is fetched lazily from its original base turned into a server as the continuation executes at the remote site. Our code migration techniques, in combination with a dynamic recompilation scheme, ensure that heavily used code moves up smoothly on a speed hierarchy while volatile dynamic code is kept in a quickly updatable form. Among the examples, we describe how to build programmable client and server components (Web servers, in particular) and mobile agents.

关键词： mobile computations remote execution networking Internet programming first order continuations Linda coordination blackboard-based logic programming mobile agents dynamic recompilation code migration

来源：评论

学校读者我要写书评

暂无评论

LogiMOO: an extensible multi-user virtual world with natural language control

引用

JOURNAL OF logic programming 1999年第3期38卷 331-353页

作者： Tarau, P De Bosschere, K Dahl, V Rochefort, S Univ Moncton Dept Informat Moncton NB E1A 3E9 Canada State Univ Ghent Vakgrp Elekt & Informat Syst Ghent Belgium Simon Fraser Univ Dept Comp Sci Log & Funct Programming Grp Burnaby BC V5A 1S6 Canada

LogiMOO is a BinProlog-based Virtual World running under Netscape and 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 (BinProlog) featuring Linda-style coordination. Remote and local blackboards support transparent distribution of data and processing over TCP/IP links, while threads ensure high-performance local client-server dynamics. Embedding in Netscape provides advanced VRML and HTML frame-based navigation and multi-media support, while LogiMOO handles virtual presence and acts as a very high-level multi-media object broker, User-friendliness is achieved through a controlled English interface written in terms of Assumption Grammars. Its language coverage is extensible in that the user can incorporate new nouns, verbs and adjectives as needed by changes in the world. Immediate evaluation of world knowledge by the parser yields representations which minimize the unknowns allowing us to deal with advanced Natural Language constructs like anaphora and relativization efficiently. We take advantage of the simplicity of our controlled language to provide as well an easy adaptation to other natural languages than English, with English-like representations as a universal interlingua. (C) 1999 Elsevier Science Inc. All rights reserved.

关键词： virtual worlds high-level HTML VRML CGI programming distributed object brokerage blackboard-based logic programming Linda coordination linear/intuitionistic assumptions client-server applications in Prolog embedded logic engines natural language analysis control through speech multi-lingual interface

来源：评论

学校读者我要写书评

暂无评论

Towards logic programming based coordination in virtual worlds

Towards logic programming based coordination in virtual worl...

引用

31st Hawaii International Conference on System Sciences (HICSS-31)

作者： Tarau, P Dahl, V De Bosschere, K Univ Moncton Moncton NB E1A 3E9 Canada

ISBN: (纸本)0818682558

We propose a unified framework far coordination in multi-user Virtual Worlds, based an our experience with LogiMOO, a BinProlog+Linda based programmable shared Virtual World LogiMOO adopts unification for pattern retrieval while using exclusively deterministic operations, unlike most Prolog based Linda systems. Moving beyond the Linda framework LogiMOO is based an, we describe a coordination logic for agent programming based on ideas front (affine) linear logic and Java's synchronized object system as well as a set Of new primitives describing uniformly Linda operation, database updates and hypothetical assumptions. The main novelty is that our constructs emphasize an 'object based' approach, with synchronization information built in 'container objects' and allowing more flexible wait/notify negotiations between consumer/producer agent components, as well as inheritance and agent component reuse. Our experiments with agent coding in LogiMOO and Java and interaction with external visual and logic components, show the practicality of our constructs for real life programming.

关键词： coordination languages blackboard-based logic programming distributed programming groupware virtual worlds Internet applications

来源：评论

学校读者我要写书评

暂无评论

Towards logic programming based coordination in virtual worlds

Towards logic programming based coordination in virtual worl...

引用

Workshop on Coordination Technology for Collaborative Applications, at the 2nd Asian Computer Science Conference (ASIAN 96)

作者： Tarau, P Dahl, V De Bosschere, K Univ Moncton Dept Informat Moncton NB E1A 3E9 Canada Simon Fraser Univ Dept Comp Sci Log & Funct Programming Grp Burnaby BC V5A 1S6 Canada Univ Ghent Vakgrp Elekt & Informat Syst B-9000 Ghent Belgium

ISBN: (纸本)354064170X

We propose a unified framework for coordination in multiuser Virtual Worlds, based on our experience with LogiMOO, a BinProlog+Linda based programmable shared Virtual World. LogiMOO adopts unification for pattern retrieval while using exclusively deterministic operations, unlike mast Prolog based Linda systems. Moving beyond the Linda framework LogiMOO is based on, we describe a coordination logic for agent programming based on ideas from (affine) linear logic and Java's synchronized object system as well as a set of new primitives describing uniformly Linda operation, database updates and hypothetical assumptions. The main novelty is that our constructs emphasize an 'object based' approach, with synchronization information built in 'container objects' and allowing more flexible wait/notify negotiations between consumer/producer agent components, as well as inheritance and agent component reuse. Our experiments with agent coding in LogiMOO and Java and interaction with external visual and logic components, show the practicality of our constructs for real life programming.

关键词： coordination languages blackboard-based logic programming distributed programming groupware virtual worlds Internet applications

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：