|
QUANTIF stands for Quantified Formula, which
for Horn-like conditions can only be 'Exists' Formulas (Var+ variables
should occur free in the scoped CONDIT, so 'Exists' can quantify them).
|
Copyright © 2006 ILOG, Inc.; All Rights Reserved.