ppeval is a hybrid approach to the partial evaluation of
logic programs. The distinguishing feature of
ppeval is that
it can transform some sequential conjunctions into parallel ones,
thus further improving the efficiency of residual programs.
It takes the following inputs:
indicating that the first argument is ground at run time, and
[,]indicating that the two arguments of
fibonaccido not share common variables.
A technical description can be found in this paper:
Check the web interface in the next tab.
Please let me know if you have any question or comment to
Choose a file:
Groundness call pattern: Sharing call pattern: