| |||
tabled resolution (is a technique that stores the results of predicated calls and returns the cached result when the same call occurs. This technique proved highly efficient to solve the non-termination and efficiency problems of logic programming languages Alex_Odeychuk) |