Emmanouil I. Marakakis

Learn More
This paper presents a set of schemata that support stepwise top-down design of logic programs using abstract data types (ADTs). There are thus three main components to this approach: top-down design , program schemata and ADTs, all of which are already well established notions. Our aim is to combine these ideas in a framework, amenable to support by design(More)
This paper studies the problem of removing unused arguments from logic programs which have been constructed by a schema-based method. Our schema-based method constructs logic programs semi-automatically. These programs have clear structure which depicts the design decisions that have been taken for their construction. On the other hand, these programs have(More)
  • 1