Intellektik: Technical report 95-05
Lukasiewicz Problems: Experiments Using Program Analysis and Transformation
Andre de Waal
In this report we describe experiments performed on the
Lukasiewicz problems with the aim of reducing the explosion of
space experienced with even the simplest of these problems.
In the experiments we apply various logic program analysis and
transformation techniques to selected problems.
The results of the experiments are reported and preliminary
conclusions drawn about the relevance of the tried approaches.