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:
Language::Prolog::Interpreter
rationale:
It behaves a lot like Prolog right now, but I intend to expand it
to support the entire first order predicate calculus. So it is
diverging, rather than converging on Prolog.
enteredby: LPALMER (Luke Palmer)
enteredon: Mon Aug 19 10:52:27 2002 GMT
The resulting entry would be:
Math::Logic::
::Predicate bdpOp Manage and query predicate logic assertions LPALMER
Thanks for registering,
The Pause Team
PS: The following links are only valid for module list maintainers:
Registration form with editing capabilities:
https://pause.perl.org/pause/authenquery?ACTION=add_mod&USERID=0f100000_ed8776c248b396dc&SUBMIT_pause99_add_mod_preview=1
Immediate (one click) registration:
https://pause.perl.org/pause/authenquery?ACTION=add_mod&USERID=0f100000_ed8776c248b396dc&SUBMIT_pause99_add_mod_insertit=1
