Documentation

canonicalAux :: VarProp -> FProp -> Set FProp -> Set FProp -> Set FProp Source #

canonicalKB :: VarProp -> Set FProp -> Set FProp -> Set FProp Source #

forgetVarKB :: VarProp -> Set FProp -> Set FProp Source #

saturateKB :: Set FProp -> [VarProp] -> Heuristics -> Bool Source #