DESIGN AND IMPLEMENTATION OF AN EDITOR/INTERPRETER FOR A VISUAL LOGIC PROGRAMMING LANGUAGE

被引:0
作者
Banyasad, Omid [1 ]
Cox, Philip T. [1 ]
机构
[1] Dalhousie Univ, Fac Comp Sci, Halifax, NS B3H 1W5, Canada
基金
加拿大自然科学与工程研究理事会;
关键词
Visual programming; logic programming; interpreter; user-interface design; visual debugger; STRUCTURED OBJECTS; PROLOG; EXECUTION; MODEL; DIMENSIONS;
D O I
10.1142/S0218194013500216
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The design and implementation of a programming environment including an editor, a debugger and an interpreter engine for Lograph, a general-purpose visual logic programming language, is discussed. The rationale for user-interface design decisions is presented, the goal of which is to increase cognitive support for the creation, exploration and debugging of Lograph programs. The design of the interpreter engine allows for animation of execution in the debugger. The engine takes full advantage of an efficient implementation of Prolog, and operates on a Prolog translation of Lograph programs and queries. The translated Lograph programs are probed with instrumentation code at appropriate places so that applications of Lograph rules are reported to the visual interface of the Lograph debugger as a side er effect of the execution of a program.
引用
收藏
页码:801 / 838
页数:38
相关论文
共 45 条
[1]  
Adobe, 2008, PHOT CS4 US GUID
[2]   A visual syntax for logic and logic programming [J].
Agusti, J ;
Puigsegur, J ;
Robertson, D .
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1998, 9 (04) :399-427
[3]  
[Anonymous], P 14 ANN ACM S PRINC
[4]   An automatic layout algorithm for lograph [J].
Banyasad, O ;
Cox, PT .
2004 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN CENTRIC COMPUTING: PROCEEDINGS, 2004, :139-146
[5]   Integrating design synthesis and assembly of structured objects in a visual design language [J].
Banyasad, O ;
Cox, PT .
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 :601-621
[6]  
BANYASAD O, 2003, P 2 COLOGNET WORKSH, P39
[7]  
Banyasad O., 2003, P 5 ACM SIGPLAN INT, P44
[8]  
Banyasad O., 2003, CS200303 DALH U
[9]   Generating sample looks for geometric objects in a visual design language [J].
Banyasad, Omid ;
Cox, Philip T. .
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2011, 22 (02) :107-119
[10]   Cognitive factors in programming with diagrams [J].
Blackwell, AF ;
Whitley, KN ;
Good, J ;
Petre, M .
ARTIFICIAL INTELLIGENCE REVIEW, 2001, 15 (1-2) :95-114