Wow, thanks. Soumya's 2014 GSoC project was ambitious, and required hard work. FOL.py is well structured, but is missing definitions of classes such as ForAll and Exists (I know quantifiers are difficult).
I would love implement first-order logic in SymPy. Some questions: 1) Are any mentors willing to consider this project? No is OK. 2) Would it be wise to continue Soumya's work, or to build something new? 3) Are there any areas of SymPy which are useful to First-Order Logic or which benefit from First-Order Logic? 4) Are there any working implementations/papers of First-Order Logic that I can refer to for this project? 5) Do I have enough time to put together a reasonable application? (I am insecure because my application is primitive compared to Soumya's) 6) Does anyone have any other advice? I really would love to do this project. Thanks for your time. P. Dworz On Wednesday, March 25, 2015 at 3:02:46 AM UTC-5, Sudhanshu Mishra wrote: > > Hello, > > You might want to see this. https://github.com/sympy/sympy/pull/7608 > > A substantial amount of work has been already done on FOL. It hasn't been > merged yet because of some marginal work left. > > Sudhanshu Mishra > > > On Wed, Mar 25, 2015 at 12:14 PM, <[email protected] <javascript:>> wrote: > >> Dear SymPy mailing list, >> >> This message is to introduce myself as an applicant for Google Summer of >> Code. Please see my application wiki here: >> https://github.com/sympy/sympy/wiki/GSoC-2015-Application:-Implement-First-Order-Logic >> >> . Feedback is welcome. >> >> P. Dworz >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sympy" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected] <javascript:>. >> To post to this group, send email to [email protected] <javascript:> >> . >> Visit this group at http://groups.google.com/group/sympy. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sympy/a64d3ee1-b042-4200-b586-8b3bab33a69b%40googlegroups.com >> >> <https://groups.google.com/d/msgid/sympy/a64d3ee1-b042-4200-b586-8b3bab33a69b%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> For more options, visit https://groups.google.com/d/optout. >> > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/11ea797c-ec5e-45bd-bdef-a875d5a641dd%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
