Improving goal directed bottom-up evaluation of logic programs
Jan Carlson, Paweł Pietrzak · 2013
This paper introduces a new strategy for goal directed bottom-up evaluation of logic programs. The strategy is based on a combination of two known techniques: dividing a program into strongly conne ...