Prolog.KnowledgeBase.Prove C# (CSharp) Метод

        internal IEnumerable<CutState> Prove(Symbol functor, object[] args, PrologContext context, ushort parentFrame)
        {
            context.PushGoalStack(functor, args, parentFrame);
            context.NewStep();
            PrologPrimitives.PrimitiveImplementation prim;
            if (PrologPrimitives.Implementations.TryGetValue(functor, out prim))
            {
                return CallPrimitive(functor, prim, args, context);
            }
            return ProveFromDB(functor, args, context);
        }

 /// <summary>
 /// Resets the context (clears stack, etc.) and starts a proof of the specified goal.
 /// </summary>
 /// <param name="goal">Goal to attempt to prove</param>
 /// <returns>Enumerator for solutions</returns>
 public IEnumerable <bool> ResetStackAndProve(Structure goal)
 {
     Reset(this.This);
     foreach (var state in KnowledgeBase.Prove(goal.Functor, goal.Arguments, this, 0))
     {
         if (state == CutState.ForceFail)
         {
             yield break;
         }
         else
         {
             yield return(false);
         }
     }
 }