Lines Matching refs:toplevel
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/0. Two variants of toplevel loop can be
163 see_also:[toplevel/0,break/0]
177 printf(error, "%w toplevel already running in %w%n",
182 :- comment(toplevel/0, [
183 summary:"Run a toplevel interpreter",
185 Run a toplevel query interpreter. This is a program that
193 toplevel :-
196 printf(error, "toplevel not yet initialized%n", [toplevel]),
208 % Command line based 'tty' toplevel
231 % make the three streams for the toplevel protocol
244 % toplevel event handlers
301 error(153, M, M), % extension hook: toplevel prompt
347 % this interprets some toplevel commands and calls run_goal otherwise
454 % Embedded/Remote toplevel
459 % make the three streams for the toplevel protocol
506 % toplevel event handlers
645 % Common toplevel predicates
685 see_also:[toplevel/0, throw / 1]]).