本文整理汇总了C#中Prolog.PrologContext.PopGoalStack方法的典型用法代码示例。如果您正苦于以下问题:C# PrologContext.PopGoalStack方法的具体用法?C# PrologContext.PopGoalStack怎么用?C# PrologContext.PopGoalStack使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Prolog.PrologContext
的用法示例。
在下文中一共展示了PrologContext.PopGoalStack方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: CallPrimitive
IEnumerable<CutState> CallPrimitive(Symbol functor, PrologPrimitives.PrimitiveImplementation handler, object[] args, PrologContext context)
{
if (Trace)
context.TraceOutput("Goal: {0}", new Structure(functor, args));
foreach (var state in handler(args, context))
{
if (Trace)
context.TraceOutput((state == CutState.Continue) ? "Succeed: {0}" : "Cut: {0}", new Structure(functor, args));
yield return state;
if (Trace)
context.TraceOutput("Retry: {0}", new Structure(functor, args));
}
if (Trace)
context.TraceOutput("Fail: {0}", new Structure(functor, args));
context.PopGoalStack();
}