首页> 外文会议>Proceedings of the workshop on Object-based concurrent programming >ObjVProlog-D: a reflexive object-oriented logic language for distributed computing
【24h】

ObjVProlog-D: a reflexive object-oriented logic language for distributed computing

机译:ObjVProlog-D:一种用于分布式计算的反身面向对象逻辑语言

获取原文
获取原文并翻译 | 示例

摘要

The ObjVProlog-D programming language extends logic programming with concepts of object-oriented and distributed programming, providing a semantically complete and coherent model inspired by ObjV-Lisp where metaclasses are treated as first-class entities. It is based on concurrent logic objects interacting through remote logic method calls. It preserves the Prolog don't know nondeterminism by implementing distributed backtracking to search for all solutions to goals. It uses asynchronous messages for communication and future logic variables for synchronization. Furthermore, its metaclass and reflexive features improve significantly the use of widespread metaprogramming techniques. ObjVProlog-D is implemented in Quintus Prolog and distributed applications have run on a network of workstations.
机译:ObjVProlog-D编程语言通过面向对象和分布式编程的概念扩展了逻辑编程,提供了一个受ObjV-Lisp启发的语义上完整且连贯的模型,其中元类被视为一等实体。它基于通过远程逻辑方法调用进行交互的并发逻辑对象。它通过实施分布式回溯来搜索目标的所有解决方案,从而保留了Prolog不知道的不确定性。它使用异步消息进行通信,并使用将来的逻辑变量进行同步。此外,它的元类和自反功能大大改善了广泛使用的元编程技术的使用。在Quintus Prolog中实现了ObjVProlog-D,并且分布式应用程序已在工作站网络上运行。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号