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);
 }