Componentwise program construction: the equivalent transformation computation model versus the logic programming model

  • Authors:

  • Kiyoshi Akama;Ekawit Nantajeewarawat;Hidekatsu Koike

  • Affiliations:

  • Information Initiative Center, Hokkaido University, Sapporo, Hokkaido, Japan;Sirindhorn Intl. Inst. of Tech., Thammasat University, Rangsit, Pathumthani, Thailand;Faculty of Social Information, Sapporo Gakuin University, Ebetsu, Hokkaido, Japan

  • Venue:
  • ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

In the equivalent transformation (ET) computation model, a program is a set of procedural rewriting rules for answer-preserving transformation of problems with respect to given background knowledge. In this paper, we discuss an approach to program construction by creating and accumulating individually correct and efficient program components one by one, referred to as componentwise program construction. Basic requirements for componentwise program construction are identified, based on which we show that the ET model possesses several desirable properties for this program construction approach, in particular, compared with the logic programming model. In addition, we compare the expressive power of program components in the ET model and that of components in the logic programming model by viewing computation in the latter model as problem transformation using only one specific class of rewriting rules, i.e., single-head general unfolding-based rules, and then demonstrating that a larger class of rules is needed for effective computation.