C# (CSharp) Prolog PrologContext.NewStep примеры использования

NewStep() приватный Метод

Check whether the maximum number of steps has been exceeded. Called when a new step is initiated.

private NewStep ( ) : void
Результат	void

Пример #1

Файл: KnowledgeBase.cs Проект: mantoun/MKULTRA

 /// <summary>
 /// Attempts to prove the specified goal.
 /// </summary>
 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));
 }

Пример #2

Файл: KnowledgeBase.cs Проект: ianhorswill/UnityProlog

 /// <summary>
 /// Attempts to prove the specified goal.
 /// </summary>
 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);
 }