1Summary of commands
2===================
3
4Execute a goal by typing it in. The results are returned in the Reply
5window.
6
7Summary of function
8===================
9
10Execute an ECLiPSe goal once in a new break-level.
11
12Layout
13======
14
15This tool consists of:
16
17Goal window - type in the goal in this window and execute it by pressing
18return or clicking the run button.
19
20Reply window - shows the reply from ECLiPSe after running the goal.
21
22Run button - run the goal in the goal window
23
24Close button - close this window
25
26Functionality
27=============
28
29This tool provides an interface for the user to issue an ECLiPSe goal as
30an rpc (remote procedure call). The goal will be executed in a different
31break level from the main ECLiPSe query loop. It can only be once (i.e. no
32backtracking), and any bindings it makes will not be reflected in the main
33ECLiPSe environment. However, it can affect the global state by performing
34side effects. 
35
36The reply window shows the results of running the goal. If the goal
37executed successfully, the goal will be shown in EXDR format (see manuals
38for more detail on this format) with the bindings that are made. If the
39goal contains terms which cannot be converted by the EXDR format (such as
40suspension), an exception would occur in ECLiPSe.
41
42If the goal does not succeed, then the reply window will print `fail'. If
43an exception occurs, then the reply window will print `throw'. This should
44also usually generate an error message which can be viewed from the Output
45and error messages window if the tkeclipse top-level is being used with the
46tools. 
47
48
49