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