An Icon-Based Design Method for Prolog

  • Authors:
  • Gerald M. Karam

  • Affiliations:
  • -

  • Venue:
  • IEEE Software
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

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.