left

Mode Analysis

right
AProVE Help SystemTechniquesTechniques working on PrologMode 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.