C# (CSharp) Prolog PrologContext.PushGoalStack示例

PushGoalStack() private method

private PushGoalStack ( Symbol functor, object args, ushort parentFrame ) : void
functor	Symbol
args	object
parentFrame	ushort
return	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);
 }