Logic-based visual languages for manipulating structures

用于操纵结构的基于逻辑的视觉语言

• 批准号: 124-2008
• 负责人: Cox, Philip
• 金额: $ 2.04万
• 依托单位: Dalhousie University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2011
• 资助国家: 加拿大
• 起止时间: 2011-01-01 至 2012-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=473276
• 关键词: Logic; based; visual; languages; manipulating

In many interactions with computers, users accomplish tasks by manipulating visual representations of objects. Having noted that logic programming provides a simple but powerful mechanism for manipulating complex symbolic structures (unification), we are investigating ways to apply variants of this mechanism to structures with concrete visual representations. Accordingly, we are applying logic programming in two domains where manipulation of visual structures is of key importance: designing complex parametrised structured objects, and spreadsheet programming and design.

在与计算机的许多交互中，用户通过操纵对象的视觉表示来完成任务。注意到逻辑编程提供了一种简单但强大的机制来操纵复杂的符号结构（统一），我们正在研究如何将这种机制的变体应用于具有具体视觉表示的结构。因此，我们正在应用逻辑编程在两个领域中的视觉结构的操纵是至关重要的：设计复杂的参数化结构化对象，和电子表格编程和设计。