![]() |
PROLOG |
![]() |
AProVE Help System → User Interface → Graphical User Interface → Selecting Options → User Defined → | PROLOG |
The Prolog user defined options panel offers you the possibility to control
the details of termination proving for Prolog programs.
Therefore it provides you with 3 different
configuration boxes
.
When the user starts the proof by pressing the Go button the query types listed in this box will determine the moding during the transformation.
Furthermore, all clauses that are neither directly nor indirectly needed to answer at least one of the listed query types will be ignored entirely if the unrequested clause remover is included in the transformation process.