internal IEnumerable <CutState> StackCall(PrologContext context) { if (Compiled) { return(TestCompiledClauses(context)); } return(Prove(context.GetCallArgumentsAsArray(Arity), context)); }
internal static IEnumerable<CutState> StackCall(PrimitiveImplementation primitive, int arity, PrologContext context) { return primitive(context.GetCallArgumentsAsArray(arity), context); }
internal IEnumerable<CutState> StackCall(PrologContext context) { if (Compiled) return TestCompiledClauses(context); return Prove(context.GetCallArgumentsAsArray(Arity), context); }