Searched refs:toplevel (Results 1 - 25 of 30) sorted by relevance

12

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dtoplevel.pl25 % 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 Dsetof.pl248 % else ISO-semantics (where only toplevel occurrences of ^/2 are considered).
249 % The (toplevel-)unquantified goal is returned as well.
H A Dtracer_tty.pl740 ( current_module(toplevel) ->
741 toplevel:break label
743 writeln(warning_output, "No toplevel in this configuration")
926 writeln(debug_output, "at toplevel").
H A Dtracer_tcl.pl632 (Path == [] -> %toplevel goal
2038 % Initialise toplevel module
2046 % Installation - the part that redefines existing toplevel interface
H A Dquintus.pl426 printf(error, 'trace/0 only allowed as a toplevel command%n', []).
429 toplevel:break. label
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dgen_error.pl22 :- lib(toplevel).
26 toplevel_init(tty), % to get the toplevel-related handlers installed
H A Dumscmdlineopts.tex51 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 Dumserrors.tex201 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 Dumsmodules.tex97 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 Dumsusing.tex559 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 Dumsflags.tex233 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 Dumsdebug.tex469 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 Dumsporting.tex98 This will give you a toplevel prompt in the given language dialect.
H A Dumstkeclipse.tex207 development tools independently of the {\tkeclipse} toplevel. There are two
316 {\eclipse} session is suspended. The toplevel window of the remote tools
H A Dexthsusp.tex115 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 Dumsintro.tex118 %By default, the toplevel loop and the debugger print variables with
H A Dumsparallel.tex286 it from the toplevel, or use the -e command line option.
/barrelfish-master/usr/eclipseclp/Opium/
H A Dopium.pl67 * 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 Dopium_light_kernel_patch.pl101 break, % run a nested toplevel
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dsample.tex50 \item For sample queries and toplevel interaction etc use
H A Dtkdebug.tex58 toplevel. They provide more detailed information on the tools, and can be
575 \subsection{{\tkeclipse} toplevel}
576 \index{toplevel}
H A Dumsusing.tex260 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 Dconstimpl.tex366 When a toplevel goal is launched, it has priority 12 and is the only
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dinternal.tex108 \item[toplevel directory] Configuration and install scripts
H A Dglobalstate.tex106 The idea is to store here a pointer to some kind of toplevel data

Completed in 132 milliseconds

12