A scheme for deducing logic programs from bottom to top
Huo-yan Chen · 2003
In a previous publication (1988), the author proposed an algorithm for the parallel evaluation of logic programs from bottom to top in compile time. In this paper the author improves the algorithm, solving some problems not previously discussed. This leads to a reduction of the required storage space and makes the algorithm more practical.>