|
Mode Analysis |
|
Description
Given a normal logic program, the mode analyzer tries to determine a
mapping of arguments to "in" or "out" types, in order to fulfill the
definition of well-modedness given in
[Ohl01].
If argument filtering is disabled, unproduced variables will cause the mode
analyzer to fail. If it is enabled, AProVE will try to filter arguments that
contain unproduced variables which will allow AProVE to handle some programs
that are not well-moded otherwise.
Configuration
The user may enable or disable argument filtering.