|
||||
General |
|
F9
|
Consult file in the active editor
|
|
Ctrl-F9
|
Restart the prolog session
|
|
Ctrl-Alt-d
|
Toggle debug mode
|
|
Ctrl-Alt-t
|
Toggle trace mode
|
|
Ctrl-Alt-a
|
Assert
|
Prolog Console |
|
Ctrl-Up
|
Command history
|
|
Ctrl-Down
|
Last command
|
|
F2 / Ctrl-F2
|
Cycle forward/backward through completion catalogue
|
|
F5
|
Show context help on the current predicate
|
Prolog Editor |
|
Ctrl-Space
|
Autocompletion of current predicate
|
|
Ctrl-Shift-B
|
Toggle spy on selected predicate
|
|
Ctrl-Shift-g
|
Find references to the current predicate
|
|
F3
|
Find definition of current predicate
|
|
F2
|
Show context help on the current predicate
|
JTransformer |
|
Ctrl-Alt-c
|
Generate facts for the selected Java source code and paste them into the
query view.
|
|
Ctrl-Alt-Shift-R
|
(Re-)generate Java source for all classes that had been modified in the Prolog system and replace the old
Java files in the Eclipse workspace with these new versions.
|
|
Ctrl-Alt-Shift-t
|
Generate Java source for all classes (that had been modified ???) in the Prolog system and create
corresponding source files in the project
Transformed. This can be used if one does not want to overwrite the original versions in the
Eclipse workspace.
|