Implementing Lograph

Authors: 

Omid Banyasad
Philip T. Cox

Author Addresses: 

Faculty of Computer Science
Dalhousie University
6050 University Ave.
PO Box 15000
Halifax, Nova Scotia, Canada
B3H 4R2

Abstract: 

Lograph is a non-deterministic visual logic programming language which provides the basis for the language lsd, a visual language for designing structured objects. Hence in order to implement lsd we must first implement Lograph. This raises many questions about visual logic programming languages, such as efficient execution, and clarity of the interface. Here we show how Lograph can be made deterministic and potentially efficient by ordering execution rules, cases of definitions and literals within cases and queries. We also discuss the conflict that arises between this ordering for efficiency and the clarity of programs, and present an interface mechanism to overcome it. Finally, we describe a prototype of Lograph which is currently under development.

Tech Report Number: 
CS-2001-05
Report Date: 
November 27, 2001
AttachmentSize
PDF icon CS-2001-05.pdf730.54 KB