From root at common-lisp.net Wed Jan 18 16:23:27 2006 From: root at common-lisp.net (root) Date: Wed, 18 Jan 2006 10:23:27 -0600 (CST) Subject: [cl-unification-devel] Auto-nag: cl-unification link verifier failed Message-ID: <20060118162327.64124801A@common-lisp.net> You are being nagged on because your project's name showed up in the nightly Checkbot run. Checkbot checks for broken links etc. This probably means that you are either pointing to a broken link or that someone is pointing to a broken link on your site. Or something else, it check's a bunch of stuff. Update your webpages or you shall be nagged again next week. To find out what's wrong with your webpages, please consult: http://common-lisp.net/checkbot/checkbot-common-lisp.net.html Any questions? You can reach the author of this cronjob at admin at common-lisp.net Thanks! From root at common-lisp.net Mon Jan 23 08:15:16 2006 From: root at common-lisp.net (root) Date: Mon, 23 Jan 2006 02:15:16 -0600 (CST) Subject: [cl-unification-devel] Auto-nag: cl-unification link verifier failed Message-ID: <20060123081516.AB6911E216@common-lisp.net> You are being nagged on because your project's name showed up in the nightly Checkbot run. Checkbot checks for broken links etc. This probably means that you are either pointing to a broken link or that someone is pointing to a broken link on your site. Or something else, it check's a bunch of stuff. Update your webpages or you shall be nagged again next week. To find out what's wrong with your webpages, please consult: http://common-lisp.net/checkbot/checkbot-common-lisp.net.html Any questions? You can reach the author of this cronjob at clo-devel at common-lisp.net Thanks! From ml13 at onlinehome.de Wed Jan 25 15:31:28 2006 From: ml13 at onlinehome.de (Kilian Sprotte) Date: Wed, 25 Jan 2006 16:31:28 +0100 Subject: [cl-unification-devel] status Message-ID: <2F5688C6-A68D-4707-A756-4A98689A6ECE@onlinehome.de> Hi, I can see from the archives that there was a problem with the factorial example from the docs. I was just wondering, if this currently should be working? I am a musician, who uses Lisp for composition and so I am very happy to see this kind of official AI package for Lisp... Admittedly, the not working factorial example scared me a little and I am maybe not (yet) the Lisper to dig really into the code, so I was just wondering, what other users experience and what the general status of this project is. By the way, if Norman Werner is still on this list, I'd be very interested to hear about the "library with prolog like capabilities" - is that a private project? Sorry for just asking questions and not sending patches - Cheers for today, Kilian Sprotte From marcoxa at cs.nyu.edu Fri Jan 27 15:06:14 2006 From: marcoxa at cs.nyu.edu (Marco Antoniotti) Date: Fri, 27 Jan 2006 10:06:14 -0500 Subject: [cl-unification-devel] status In-Reply-To: <2F5688C6-A68D-4707-A756-4A98689A6ECE@onlinehome.de> References: <2F5688C6-A68D-4707-A756-4A98689A6ECE@onlinehome.de> Message-ID: Hi the problem with the documentation was fixed and the library was fixed as well. The system is working when used. I have no statistics about its use, but I am very happy to keep pushing it. I have not had much time recently, and if anybody wants commit privileges, I'd be happy to share them. Cheers -- Marco On Jan 25, 2006, at 10:31 AM, Kilian Sprotte wrote: > Hi, > > I can see from the archives that there was a problem with the > factorial example from the docs. I was just wondering, if this > currently should be working? > > I am a musician, who uses Lisp for composition and so I am very happy > to see this kind of official AI package for Lisp... Admittedly, the > not working factorial example scared me a little and I am maybe not > (yet) the Lisper to dig really into the code, so I was just wondering, > what other users experience and what the general status of this > project is. > > By the way, if Norman Werner is still on this list, I'd be very > interested to hear about the "library with prolog like capabilities" - > is that a private project? > > Sorry for just asking questions and not sending patches - > Cheers for today, > > Kilian Sprotte > > > _______________________________________________ > cl-unification-devel site list > cl-unification-devel at common-lisp.net > http://common-lisp.net/mailman/listinfo/cl-unification-devel > -- Marco Antoniotti http://bioinformatics.nyu.edu/~marcoxa NYU Courant Bioinformatics Group tel. +1 - 212 - 998 3488 715 Broadway 10th FL fax. +1 - 212 - 998 3484 New York, NY, 10003, U.S.A. From ml13 at onlinehome.de Sun Jan 29 14:01:42 2006 From: ml13 at onlinehome.de (Kilian Sprotte) Date: Sun, 29 Jan 2006 15:01:42 +0100 Subject: [cl-unification-devel] status In-Reply-To: References: <2F5688C6-A68D-4707-A756-4A98689A6ECE@onlinehome.de> Message-ID: <2D22197B-B179-4C9E-A41B-04FE2074372D@onlinehome.de> Am 27.01.2006 um 16:06 schrieb Marco Antoniotti: > Hi > > the problem with the documentation was fixed and the library was > fixed as well. > > The system is working when used. I have no statistics about its > use, but I am very happy to keep pushing it. > > I have not had much time recently, and if anybody wants commit > privileges, I'd be happy to share them. > > Cheers > -- > Marco > Hi Marco, I am sorry, but this is what I get with a fresh CVS co on openmcl: UNIFICATION> (defun factorial (x) (match-case (x) (0 1) (#T(number ?n) (* ?n (factorial (1- ?n)))) (otherwise (error "Incorrect match for ~S." x)))) ;Compiler warnings : ; Unused lexical variable #:UNIFICATION-ENV-1082, in FACTORIAL. ; Undefined function OTHERWISE, in FACTORIAL. FACTORIAL UNIFICATION> (factorial 5) Incorrect match for 4. [Condition of type SIMPLE-ERROR] Restarts: 0: [ABORT-REQUEST] Abort handling SLIME request. 1: [ABORT-BREAK] Reset this process 2: [ABORT] Kill this process Backtrace: 0: (FACTORIAL #) 1: (FACTORIAL '(FACTORIAL 5)) 2: (CCL::CALL-CHECK-REGS 'FACTORIAL) --more-- Is it possible, I haven't got the newest version? The lates ChangeLog entry is from 2005-05-19. Thanks for any more help, if you have time, -Kilian From root at common-lisp.net Mon Jan 30 08:15:12 2006 From: root at common-lisp.net (root) Date: Mon, 30 Jan 2006 02:15:12 -0600 (CST) Subject: [cl-unification-devel] Auto-nag: cl-unification link verifier failed Message-ID: <20060130081512.B69B15118@common-lisp.net> You are being nagged on because your project's name showed up in the nightly Checkbot run. Checkbot checks for broken links etc. This probably means that you are either pointing to a broken link or that someone is pointing to a broken link on your site. Or something else, it check's a bunch of stuff. Update your webpages or you shall be nagged again next week. To find out what's wrong with your webpages, please consult: http://common-lisp.net/checkbot/checkbot-common-lisp.net.html Any questions? You got this email but your webpage doesn't seem to be listed on the checkbot webpage? You can reach the author of this cronjob at clo-devel at common-lisp.net Thanks! From marcoxa at cs.nyu.edu Mon Jan 30 15:33:48 2006 From: marcoxa at cs.nyu.edu (Marco Antoniotti) Date: Mon, 30 Jan 2006 10:33:48 -0500 Subject: [cl-unification-devel] status In-Reply-To: <2D22197B-B179-4C9E-A41B-04FE2074372D@onlinehome.de> References: <2F5688C6-A68D-4707-A756-4A98689A6ECE@onlinehome.de> <2D22197B-B179-4C9E-A41B-04FE2074372D@onlinehome.de> Message-ID: Hi it looks like this is a bug in MATCH-CASE. It needs to be fixed. The following works as advertised. (defun factorial (x) (matching () ((0 x) 1) ((#T(number ?n) x) (* ?n (factorial (1- ?n)))) )) There are still a few rough edges. Patches welcome. Cheers -- Marco On Jan 29, 2006, at 9:01 AM, Kilian Sprotte wrote: > Am 27.01.2006 um 16:06 schrieb Marco Antoniotti: > >> Hi >> >> the problem with the documentation was fixed and the library was >> fixed as well. >> >> The system is working when used. I have no statistics about its use, >> but I am very happy to keep pushing it. >> >> I have not had much time recently, and if anybody wants commit >> privileges, I'd be happy to share them. >> >> Cheers >> -- >> Marco >> > > > Hi Marco, > > I am sorry, but this is what I get with a fresh CVS co on openmcl: > > UNIFICATION> (defun factorial (x) > (match-case (x) > (0 1) > (#T(number ?n) (* ?n (factorial (1- ?n)))) > (otherwise (error "Incorrect match for ~S." x)))) > ;Compiler warnings : > ; Unused lexical variable #:UNIFICATION-ENV-1082, in FACTORIAL. > ; Undefined function OTHERWISE, in FACTORIAL. > FACTORIAL > UNIFICATION> (factorial 5) > Incorrect match for 4. > [Condition of type SIMPLE-ERROR] > > Restarts: > 0: [ABORT-REQUEST] Abort handling SLIME request. > 1: [ABORT-BREAK] Reset this process > 2: [ABORT] Kill this process > > Backtrace: > 0: (FACTORIAL #) > 1: (FACTORIAL '(FACTORIAL 5)) > 2: (CCL::CALL-CHECK-REGS 'FACTORIAL) > --more-- > > > Is it possible, I haven't got the newest version? > The lates ChangeLog entry is from 2005-05-19. > > Thanks for any more help, > if you have time, > > -Kilian > > _______________________________________________ > cl-unification-devel site list > cl-unification-devel at common-lisp.net > http://common-lisp.net/mailman/listinfo/cl-unification-devel > -- Marco Antoniotti http://bioinformatics.nyu.edu/~marcoxa NYU Courant Bioinformatics Group tel. +1 - 212 - 998 3488 715 Broadway 10th FL fax. +1 - 212 - 998 3484 New York, NY, 10003, U.S.A.