6 ms·Take a look at term_expansion and goal_expansion in the Prologs that support them.by z5h 2y agoTake a look at term_expansion and goal_expansion in the Prologs that support them.