/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | toplevel.pl | 25 % Version: $Id: toplevel.pl,v 1.7 2013/03/06 21:51:14 jschimpf Exp $ 29 % This module contains two variants of the Eclipse toplevel loop, 44 % toplevel_in (toec,exdr) toplevel command 54 % Execute the specified goal under control of the toplevel. 81 % Terminate the toplevel loop. 103 :- module(toplevel). 108 toplevel/0, 122 :- comment(summary, "Interactive ECLiPSe toplevel interpreter"). 154 summary:"Initialize a toplevel", 158 a call to toplevel/ 193 toplevel :- label [all...] |
H A D | setof.pl | 248 % else ISO-semantics (where only toplevel occurrences of ^/2 are considered). 249 % The (toplevel-)unquantified goal is returned as well.
|
H A D | tracer_tty.pl | 740 ( current_module(toplevel) -> 741 toplevel:break label 743 writeln(warning_output, "No toplevel in this configuration") 926 writeln(debug_output, "at toplevel").
|
H A D | tracer_tcl.pl | 632 (Path == [] -> %toplevel goal 2038 % Initialise toplevel module 2046 % Installation - the part that redefines existing toplevel interface
|
H A D | quintus.pl | 426 printf(error, 'trace/0 only allowed as a toplevel command%n', []). 429 toplevel:break. label
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | gen_error.pl | 22 :- lib(toplevel). 26 toplevel_init(tty), % to get the toplevel-related handlers installed
|
H A D | umscmdlineopts.tex | 51 Instead of starting an interactive toplevel, the system will execute the 67 toplevel. 108 \notation{-e} options, and in which interactive toplevel queries are executed. 125 the files \notationidx{.tkeclipserc} (for toplevel parameters) and 165 The default toplevel module name (default: eclipse).
|
H A D | umserrors.tex | 201 the behaviour of the {\eclipse} toplevel. 210 to an atom, this name is used as the toplevel module name 215 153 & current toplevel module & current toplevel module \\ 227 then the toplevel will use \about{NewGoal} and \about{NewVarList} to replace 230 & current toplevel module \\ 239 & current toplevel module \\ 247 & current toplevel module \\ 249 158 & break level & current toplevel module \\ 250 159 & break level & current toplevel modul [all...] |
H A D | umsmodules.tex | 97 toplevel, a prompt will tell you in which module your input is 117 \item in an interactive {\eclipse} toplevel there is one module 118 \index{toplevel module}\index{module!toplevel}
|
H A D | umsusing.tex | 559 The \notation{a} option returns to the toplevel, \notation{b} starts a nested 560 toplevel, 584 The {\eclipse} toplevel loop provides a simple history mechanism which allows 590 The current query number is displayed in the toplevel prompt. 596 \bipref{write_history/0}{../bips/lib/toplevel/write_history-0.html} from the
|
H A D | umsflags.tex | 233 when end-of-file is typed to the toplevel prompt or whether this is ignored. 242 \item[Description :] The name of the toplevel directory of the 346 This format is used to output results on the toplevel loop and to print
|
H A D | umsdebug.tex | 469 For the \tkeclipse{} graphical toplevel, the debugger may be switched on by 480 from the toplevel with the commands 1264 can be traversed up, the current subterm stops at the toplevel: 1278 \cmd{0}{move current subterm to toplevel}\\ 1413 sub-term. For example, when the current sub-term is at the toplevel of the goal 1535 toplevel term to reach the current subterm, starting from the top. 1566 In this example, except for the toplevel argument, all the other positions are 1650 (toplevel of the finite domain structure), and printed with the same output 1804 \bipref{break/0}{../bips/lib/toplevel/break-0.html} call.
|
H A D | umsporting.tex | 98 This will give you a toplevel prompt in the given language dialect.
|
H A D | umstkeclipse.tex | 207 development tools independently of the {\tkeclipse} toplevel. There are two 316 {\eclipse} session is suspended. The toplevel window of the remote tools
|
H A D | exthsusp.tex | 115 When a toplevel goal is launched, it has priority 12 and is the only 167 (the {\eclipse} toplevel indicates this situation by printing a message 222 The command line toplevel then prompts and offers to print a list of 882 \item end of toplevel execution; 1404 \item [toplevel goal (12)] the default priority of the user program.
|
H A D | umsintro.tex | 118 %By default, the toplevel loop and the debugger print variables with
|
H A D | umsparallel.tex | 286 it from the toplevel, or use the -e command line option.
|
/barrelfish-master/usr/eclipseclp/Opium/ |
H A D | opium.pl | 67 * initialize toplevel module opium 194 * to get number of break level in toplevel prompt 254 % set_opium(X1, X2), % opium is toplevel module 273 * get opium as toplevel module
|
H A D | opium_light_kernel_patch.pl | 101 break, % run a nested toplevel
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | sample.tex | 50 \item For sample queries and toplevel interaction etc use
|
H A D | tkdebug.tex | 58 toplevel. They provide more detailed information on the tools, and can be 575 \subsection{{\tkeclipse} toplevel} 576 \index{toplevel}
|
H A D | umsusing.tex | 260 module becomes the current toplevel module. 263 \subsubsection{Clear toplevel module} 264 Allows the user to clear the current toplevel module, i.e. to erase it and
|
H A D | constimpl.tex | 366 When a toplevel goal is launched, it has priority 12 and is the only
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | internal.tex | 108 \item[toplevel directory] Configuration and install scripts
|
H A D | globalstate.tex | 106 The idea is to store here a pointer to some kind of toplevel data
|