C# (CSharp) Prolog PrologContext.PopGoalStack Examples

PopGoalStack() public method

Mark that this is the start of a new clause Removes the top goal from the goal stack

public PopGoalStack ( ) : void
return	void

Example #1

File: KnowledgeBase.cs Project: mantoun/MKULTRA

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

Example #2

File: KnowledgeBase.cs Project: ianhorswill/UnityProlog

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