• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Constraints >CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
【24h】

CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming

机译：CLPGUI：用于约束逻辑编程的通用图形用户界面

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different contexts: initially for teaching purposes, then for debugging complex programs of real-world scale, and recently for developing end-user interfaces. The challenge of developing a tool which is generic w.r.t. bom the constraint logic programming system and the visualizers, is addressed by a client-server architecture for connecting a CLP process to a Java-based GUI process, and by a non-intrusive tracing and control method based on annotations in the CLP program. Arbitrary constraints and goals can be posted incrementally from the GUI in an interactive manner, and arbitrary states can be recomputed. We describe several generic 2D and 3D viewers of the variables and of the search tree, and argue that the 3D representation is best-suited to apprehend the shape of large search trees. We also illustrate the use of CLPGUI for developing application-oriented end-user interfaces on two placement problems, one in virtual reality.
机译：CLPGUI是通用的图形用户界面，用于可视化和控制约束逻辑程序的执行。 CLPGUI被设计用于不同的上下文：最初用于教学目的，然后用于调试实际规模的复杂程序，最近用于开发最终用户界面。开发通用工具的挑战约束逻辑程序设计系统和可视化程序都由用于将CLP进程连接到基于Java的GUI进程的客户端-服务器体系结构，以及基于CLP程序中注释的非侵入式跟踪和控制方法来解决。可以以交互方式从GUI逐步发布任意约束和目标，并且可以重新计算任意状态。我们描述了变量和搜索树的几个通用2D和3D查看器，并认为3D表示最适合理解大型搜索树的形状。我们还说明了如何使用CLPGUI在两个放置问题上开发面向应用程序的最终用户界面，其中一个是在虚拟现实中。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号