Title :
A scheme for deducing logic programs from bottom to top
Author_Institution :
Dept. of Comput. Sci., Jinan Univ., Guangzhou, China
Abstract :
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
Keywords :
logic programming; parallel algorithms; program compilers; compilation; logic program deduction; parallel evaluation; storage space reduction; Computer science; Cybernetics; Logic programming;
Conference_Titel :
Systems, Man and Cybernetics, 1989. Conference Proceedings., IEEE International Conference on
Conference_Location :
Cambridge, MA
DOI :
10.1109/ICSMC.1989.71420
