bi_sys.c: * the top level of the goal residuated on p, with the rest of the psi-term
bi_type.c:  and lists.  For lists, it looks only at the top level, i.e. whether the
built_ins.c:  Return to the top level of the interpreter.
lefun.c:/*       This only looks at the top level.                          */
lefun.c:/*       Same as above, except does not look at the top level or at */
lefun.c:/* Same as deref_rec_eval, but doesn't look at either the top level or */
lib2.c:long c_query_level;
lib2.c:  c_query_level=0;
lib2.c:    c_query_level=0;
lib2.c:	push_choice_point(c_what_next,(ptr_psi_term)c_query_level,NULL,NULL);
lib2.c:	c_query_level++;
lib2.c:	push_goal(c_what_next,(ptr_psi_term)c_query_level,(ptr_psi_term)var_occurred,NULL);
lib2.c:	if((long)(goal_stack->aaaa_1)==c_query_level)
lib2.c:	    c_query_level--;
lib2.c:	  c_query_level--;
lib.c:long c_query_level;
lib.c:  c_query_level=0;
lib.c:    c_query_level=0;
lib.c:	push_choice_point(c_what_next,(ptr_psi_term)c_query_level,NULL,NULL);
lib.c:	c_query_level++;
lib.c:	push_goal(c_what_next,(ptr_psi_term)c_query_level,(ptr_psi_term)var_occurred,NULL);
lib.c:	if((long)(goal_stack->aaaa_1)==c_query_level)
lib.c:	    c_query_level--;
lib.c:	  c_query_level--;
login.c:long level = -1;
login.c:      /* This undo does the last undo actions before returning to top level. */
login.c:/* Called when level jumps back to zero.  Setting these two pointers to */
login.c:  d) return to top level -> '.'
login.c:long what_next_aim(long level)
login.c:  //   level=((unsigned long)aim->cccc_1);
login.c:        !var_occurred && no_choices() && level>0
login.c:        /* Keep level same if no window & no X event */
login.c:      /* Keep level the same if in a query, the number of choice points */
login.c:      /* and no 'No' message should be given on the lowest level,   */
login.c:      level--;
login.c:      if (level==0) { result=TRUE; }
login.c:  if (aim->aaaa_1 || level>0) print_variables(NOTQUIET);
login.c:    //    if (lev <= level + 2 && lev >= level - 2 && level < MAX_LEVEL && level > 0)
login.c:    //    lev = level;
login.c:    long lev=(MAX_LEVEL<level?MAX_LEVEL:level);
login.c:	  sprintf(pr,"%ld",level);
login.c:    push_goal(what_next,(ptr_psi_term)TRUE,(ptr_psi_term)FALSE+2*TRUE,(GENERIC)(level + 1) /* +1 RM: Jun 22 1993 */);
login.c:      if (level>0) push_choice_point(what_next,FALSE,FALSE,(GENERIC)(level + 1) ); // DJD +1 2.09
login.c:        push_goal(what_next,(ptr_psi_term)TRUE,(ptr_psi_term)var_occurred,(GENERIC)level+1);
login.c:        push_goal(what_next,(ptr_psi_term)TRUE,FALSE,(GENERIC)(level+1)); /* 18.5 */
login.c:	/* Stay at same level on syntax error */
login.c:        push_goal(what_next,(ptr_psi_term)TRUE,FALSE,(GENERIC)(level+1)); /* 20.8 */
login.c:    /* level variables.  I.e.: top-level variables are *not* recognized   */
login.c:  if (level < 0)
login.c:    level = 0;
login.c:    /* Same as above, but do not evaluate top level */
login.c:      success=what_next_aim(level+1);
parser.c:  or a query in the IS_IT_A_CLAUSE variable. This is the top level of the
raw.c:extern long level;
raw.c:    long level;
raw.c:	level = (unsigned long) aim->c;
token.c:    /* PVR 4.2.94 for correct level incrementing */
types.c:  Done at each top level prompt.
