public static IEnumerable <Runtime.ISolutionTreeNode> Solve (Runtime.Engine engine, AST.Goal [] goals, Compiled.Program program)
{
Compiled.Goal[] compiledGoals = Compile (goals, program.predicatesByName);
return engine.Solve (compiledGoals);
}