Date Added: Jun 2011
This paper investigates a type of logic programming language called "Axiomatic language". Axiomatic language is intended as a specification language where the user defines the external behavior of a program without giving an algorithm. The language implementation has the task of transforming this input specification into an equivalent efficient algorithm. This paper will attempt to make progress on this difficult problem. A secondary goal will be to make a software engineering case for axiomatic language as a specification language through example applications.