CLPGUI公司

CLPGUI:用于约束逻辑编程的通用图形用户界面。CLPGUI是一个通用的图形用户界面,用于可视化和控制约束逻辑程序的执行。CLPGUI被设计用于不同的环境:最初用于教学目的,然后用于调试真实世界规模的复杂程序,最近用于开发最终用户界面。开发一个通用的w.r.t.工具(包括约束逻辑编程系统和可视化工具)的挑战是通过将CLP进程连接到基于Java的GUI进程的客户机-服务器体系结构以及基于CLP程序注释的非侵入式跟踪和控制方法来解决的。任意约束和目标可以以交互方式从GUI中递增地发布,并且可以重新计算任意状态。我们描述了几种常见的二维和三维的变量和搜索树的查看器,并认为三维表示最适合理解大型搜索树的形状。我们还演示了如何使用CLPGUI在两个布局问题上开发面向应用程序的最终用户界面,一个是在虚拟现实中。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献5条)

显示第1到第5个结果,共5个。
按年份排序(引用)

  1. 纳布利,法顿;马丁内斯,蒂埃里;法吉斯,弗朗索瓦;Soliman,Sylvain:关于使用CLP和SAT解算器在Petri网中枚举最小信标:理论和实践复杂性(2016)
  2. 阿斯佩蒂,安德里亚;Tassi,Enrico:目标导向证明策略的互动驱动力(2009)
  3. 法吉斯,弗朗索瓦;Martin,Julien:用Rules2CP建模语言从规则到约束程序(2009)
  4. 法吉斯,弗朗索瓦;索利曼,西尔文;Coolen,Rémi:CLPGUI:约束逻辑编程的通用图形用户界面(2004)ioport公司
  5. Fages,Francisçois:CLPGUI:有限域上约束逻辑编程的通用图形用户界面(2002)ioport公司