Investigate and propose implementation for Memoization in Inference functions

[dpalmasan]

We can use a Table Logic Programming approach, to avoid recomputing the same solution each time. As an example, the Backward chaining algorithm uses recursion to generate all the possible answers, maybe on inferences steps we can use memoization or implement a dynamic programming approach.