From Nicolas.Chauvat@logilab.fr Thu Apr 18 11:09:52 2002 From: Nicolas.Chauvat@logilab.fr (Nicolas Chauvat) Date: Thu, 18 Apr 2002 12:09:52 +0200 (CEST) Subject: [meta-sig] Creation of Logic-sig Message-ID: Hi, I recently exchanged e-mail with Guido about a new sig about logic programming in Python and posted on comp.lang.python ten days ago (http://groups.google.com/groups?threadm=slrna9mrbk.1fj.nico%40aries.logilab.fr) I think the response is positive and would like the SIG to be created. I've set up a home page at http://www.logilab.org/logic-sig/ and plan on openning up a project on sourceforge shortly. Here is a formal demand for creation of the sig : ------------ Logic SIG: Exploring logic and constraint programming with Python Description: This SIG is for discussing and comparing several approaches to implement logic and constraint programming techniques in Python. Deliverables: A set of modules for people to easily describe and solve rule-based problems and constraint-based problems in a pythonic way. ------------- Please let me know what else I need to do. Thanks in advance ! -- Nicolas Chauvat http://www.logilab.com - "Mais oł est donc Ornicar ?" - LOGILAB, Paris (France) From denny@ece.arizona.edu Fri Apr 19 00:32:57 2002 From: denny@ece.arizona.edu (Nathan Denny) Date: Thu, 18 Apr 2002 16:32:57 -0700 (MST) Subject: [meta-sig] Re: Meta-sig digest, Vol 1 #77 - 1 msg In-Reply-To: <20020418160001.31818.87729.Mailman@mail.python.org> Message-ID: If my vote counts. I'll vote for it. I've wanted something similar for quite a while. I have a simple python/prolog hook that ties with SWI Prolog. There are at least two other modules similar to mine that have been written by other people...and judging by the hits to my projects page, I can guage that there is some interest in logic extensions for Python. Nate:SCHCATS! On Thu, 18 Apr 2002 meta-sig-request@python.org wrote: > Send Meta-sig mailing list submissions to > =09meta-sig@python.org > > To subscribe or unsubscribe via the World Wide Web, visit > =09http://mail.python.org/mailman/listinfo/meta-sig > or, via email, send a message with subject or body 'help' to > =09meta-sig-request@python.org > > You can reach the person managing the list at > =09meta-sig-admin@python.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Meta-sig digest..." > > > Today's Topics: > > 1. Creation of Logic-sig (Nicolas Chauvat) > > --__--__-- > > Message: 1 > Date: Thu, 18 Apr 2002 12:09:52 +0200 (CEST) > From: Nicolas Chauvat > To: meta-sig@python.org > Subject: [meta-sig] Creation of Logic-sig > > Hi, > > I recently exchanged e-mail with Guido about a new sig about logic > programming in Python and posted on comp.lang.python ten days ago > (http://groups.google.com/groups?threadm=3Dslrna9mrbk.1fj.nico%40aries.lo= gilab.fr) I > think the response is positive and would like the SIG to be created. > > I've set up a home page at http://www.logilab.org/logic-sig/ and plan on > openning up a project on sourceforge shortly. > > Here is a formal demand for creation of the sig : > > ------------ > Logic SIG: Exploring logic and constraint programming with Python > > Description: This SIG is for discussing and comparing several > approaches to implement logic and constraint programming > techniques in Python. > > Deliverables: A set of modules for people to easily describe and solve > rule-based problems and constraint-based problems in a pythonic way. > ------------- > > Please let me know what else I need to do. > > Thanks in advance ! > > -- > Nicolas Chauvat > > http://www.logilab.com - "Mais o=F9 est donc Ornicar ?" - LOGILAB, Paris = (France) > > > > > > > End of Meta-sig Digest > Nate:SCHCATS! ------------- "KEEP OFF GRASS" signs rarely seen in Tucson, AZ From Nicolas.Chauvat@logilab.fr Tue Apr 23 15:57:20 2002 From: Nicolas.Chauvat@logilab.fr (Nicolas Chauvat) Date: Tue, 23 Apr 2002 16:57:20 +0200 (CEST) Subject: [meta-sig] Logic-SIG not created. Message-ID: Hi, Since the proposal to create the logic-sig was refused, I've set up a web site and a mailing list for a Python-Logic project at logilab.org : http://www.logilab.org/python-logic/ and http://www.logilab.org/mailman/listinfo/python-logic Hope to meet interested folks there. -- Nicolas Chauvat http://www.logilab.com - "Mais oł est donc Ornicar ?" - LOGILAB, Paris (France)