next up previous index
Next: Exiting from the Up: Interaction with the Previous: Interaction with the

Entering Goals

The ECLiPSe prompt [eclipse 1]: indicates that ECLiPSe

is at the top level   and the opened module is eclipse. The top level loop is a Prolog procedure which repetitively prompts the user for a query, executes it and reports its result, i.e. either the answer variable bindings or the failure message. There is always exactly one module opened in the top level and its name is printed in the prompt. From this point it is possible to enter Prolog goals, e.g. to pose queries, to enter a Prolog program from the keyboard or to compile a program from a file. Goals are entered after the prompt and are terminated by fullstop and newline.



Micha Meier
Mon Mar 4 12:11:45 MET 1996