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

Reply via email to