The following module was proposed for inclusion in the Module List:
modid: Math::Logic::Predicate
DSLIP: bdpOp
description: Query a Predicate Logic database
userid: LPALMER (Luke Palmer)
chapterid:6 (Data_Type_Utilities)
communities:
similar:
rationale:
The following module was proposed for inclusion in the Module List:
modid: Math::Logic::Predicate
DSLIP: bdpOp
description: Manage and query predicate logic assertions
userid: LPALMER (Luke Palmer)
chapterid:6 (Data_Type_Utilities)
communities:
similar:
La
The following module was proposed for inclusion in the Module List:
modid: Math::Logic::Predicate
DSLIP: bdpOp
description: Query a database of logical assertions
userid: LPALMER (Luke Palmer)
chapterid:6 (Data_Type_Utilities)
communities:
similar:
rational