An icon-based design method for Prolog

Author

Karam, Gerald M.

Author_Institution

Dept. of Comput. Eng., Carleton Univ., Ottawa, Ont., Canada

Volume

5

Issue

4

fYear

1988

fDate

7/1/1988 12:00:00 AM

Firstpage

51

Lastpage

65

Abstract

An icon-based design method that combines a module-oriented Prolog design model, graphical software design, and software engineering principles is presented. It is based on a dataflow-driven decomposition that is guided by design principles, followed by evaluation. Its purpose is to enable Prolog applications to be developed in accordance with the general principles of software engineering: modifiability, efficiency, reliability, and understandability. The design model and procedure are described. The design of a Lisp interpreter is considered to illustrate the method.<>

Keywords

PROLOG; computer graphics; software engineering; user interfaces; Lisp interpreter; dataflow-driven decomposition; design principles; efficiency; graphical software design; icon-based design method; modifiability; module-oriented Prolog design model; reliability; software engineering; understandability; Application software; Artificial intelligence; Costs; Design methodology; History; Linear programming; Logic; Process design; Software design; Software engineering;

fLanguage

English

Journal_Title

Software, IEEE

Publisher

ieee

ISSN

0740-7459

Type

jour

DOI

10.1109/52.17802

Filename

17802