From marcoxa at cs.nyu.edu Wed Apr 15 10:29:15 2009 From: marcoxa at cs.nyu.edu (Marco Antoniotti) Date: Wed, 15 Apr 2009 12:29:15 +0200 Subject: [cl-unification-devel] New functionality added Message-ID: Dear CL-UNIFICATION aficionados, I just added a few bells and whistles to the library (and hopefully fixed a few bugs). The documentation has not been updated yet, but the mosto visible change is not the presence of a CL-PPCRE template. I.e., doing (unify #T(regexp "a(bce)d*" (?x)) "abceddddddd") will return an environment with ?X bound to "bce" Comments and bug checks are most welcome. Please also have a look at the test suite. As always, I am looking for helpers in developing this library. Cheers -- Marco Antoniotti From marcoxa at cs.nyu.edu Wed Apr 15 11:23:36 2009 From: marcoxa at cs.nyu.edu (Marco Antoniotti) Date: Wed, 15 Apr 2009 13:23:36 +0200 Subject: [cl-unification-devel] New functionality added In-Reply-To: References: Message-ID: <9FC96317-20C3-4EC8-A5C9-01AABAC15860@cs.nyu.edu> Well.... I *do* need new glasses! Sorry for the noise.... On Apr 15, 2009, at 12:29 , Marco Antoniotti wrote: > Dear CL-UNIFICATION aficionados, > > I just added a few bells and whistles to the library (and hopefully > fixed a few bugs). > > The documentation has not been updated yet, but the mosto visible MOST > > change is not the presence of a CL-PPCRE template. NOW > > I.e., doing > > (unify #T(regexp "a(bce)d*" (?x)) "abceddddddd") > > will return an environment with ?X bound to "bce" > > Comments and bug checks are most welcome. > Please also have a look at the test suite. > > As always, I am looking for helpers in developing this library. > > Cheers > > -- > Marco Antoniotti > > > > _______________________________________________ > cl-unification-devel site list > cl-unification-devel at common-lisp.net > http://common-lisp.net/mailman/listinfo/cl-unification-devel -- Marco Antoniotti -------------- next part -------------- An HTML attachment was scrubbed... URL: From marcoxa at cs.nyu.edu Wed Apr 15 21:00:25 2009 From: marcoxa at cs.nyu.edu (Marco Antoniotti) Date: Wed, 15 Apr 2009 23:00:25 +0200 Subject: [cl-unification-devel] ELS 2009 in Milan, Italy: Call for Participation Message-ID: <383259C0-0C0E-4FA6-9442-598B90EB58A6@cs.nyu.edu> Apologies for multiple postings.... ************************************************************************ 2nd European Lisp Symposium (ELS 2009) Milan, Italy, May 27-29, 2009 Universita` degli Studi di Milano-Bicocca www.european-lisp-symposium.org ************************************************************************ CALL FOR PARTECIPATION ********************** REGISTRATION IS NOW OPEN AT www.european-lisp-symposium.org. Take advantage of the early bird registration fee. Scope and Program Highlights: ***************************** The purpose of the European Lisp Symposium is to provide a forum for the discussion of all aspects of the design, implementation and application of any of the Lisp dialects. We encourage everyone interested in Lisp to participate. The European Lisp Symposium 2009 program includes presentations of high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives, all involving Lisp dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, and so on. Kent Pitman will give the keynote address on Thursday, May 28. The presentations will be divided into two categories. * Original contributions. * Work in progress describing ongoing work that will be discussed in the form of a "writers' workshop". The writers' workshops will take place at the symposium in Milan on May 28, 2008. Social Events: ************** Friday 29th evening, Conference Banquet Saturday 30th morning, Guided tour to the "Futurismo" Exhibit in the center of Milan; 2009 marks the 100th anniversary of the Futurism Manifesto; stretching it, the harbinger of Lisp 50 years later. Program Chair: ************** * Antonio Leitao, Technical University of Lisbon, Portugal Local Chair: ************ * Marco Antoniotti, DISCo, Universita`? Milano Bicocca, Italy Program committee: ****************** * Giuseppe Attardi, Universita`? di Pisa , Italy * Pascal Costanza, Vrije Universiteit Brussel, Belgium * Irene Durand, Universite` Bordeaux 1, France * Marc Feeley, Universit` de Montreal, Canada * Ron Garret, Amalgamated Widgets Unlimited, USA * Gregor Kiczales, University of British Columbia, Canada * Scott McKay, ITA Software, Inc., USA * Peter Norvig, Google Inc., USA * Julian Padget, University of Bath, UK * Kent Pitman, PTC, USA * Christian Queinnec, Universite` Pierre et Marie Curie, France * Christophe Rhodes, Goldsmiths College, University of London, UK * Robert Strandh, Universite` Bordeaux 1, France * Mark Tarver, Lambda Associates, UK * Didier Verna, EPITA Research and Development Laboratory, France * JonL White, TheGingerIceCreamFactory of Palo Alto, USA * Taiichi Yuasa, Kyoto University, Japan Registration Fees: ****************** * Early registration before April 25, 2008: Students EU60, regular EU120. * Late registration before May 16, 2008: Students EU80, regular EU160. * Onsite registration: Students EU100, regular EU220. Registration will include the proceedings, coffee breaks, the symposium dinner and other amenities. Accommodation is not included. From akopa at charter.net Thu Apr 16 02:30:58 2009 From: akopa at charter.net (Matthew D. Swank) Date: Wed, 15 Apr 2009 21:30:58 -0500 Subject: [cl-unification-devel] making cl-ppcre extension portable Message-ID: <20090415213058.627352e9@inky> Could something like to this be merged to make the new addition more portable? Cheers, Matt -- "You do not really understand something unless you can explain it to your grandmother." -- Albert Einstein. -------------- next part -------------- A non-text attachment was scrubbed... Name: cl-u.patch Type: text/x-patch Size: 1859 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: cl-unification-lib.asd Type: application/octet-stream Size: 360 bytes Desc: not available URL: From akopa at charter.net Thu Apr 16 04:22:35 2009 From: akopa at charter.net (Matthew D. Swank) Date: Wed, 15 Apr 2009 23:22:35 -0500 Subject: [cl-unification-devel] newbie; questions on comutivity. Message-ID: <20090415232235.46af120d@inky> As someone exposed to unification through languages like prolog and kanren, I'm a little puzzled as to why the following doesn't seem to commute: CL-USER> (let ((e (unify '(42 ?a) '(?a ?b)))) (values (v? '?b e) (v? '?a e))) 42 42 CL-USER> (let ((e (unify '(?a ?b) '(42 ?a)))) (values (v? '?b e) (v? '?a e))) ?A 42 CL-USER> If this is correct behavior, could someone explain it to me? Thank you, Matt -- "You do not really understand something unless you can explain it to your grandmother." -- Albert Einstein. From marcoxa at cs.nyu.edu Thu Apr 16 06:33:34 2009 From: marcoxa at cs.nyu.edu (Marco Antoniotti) Date: Thu, 16 Apr 2009 08:33:34 +0200 Subject: [cl-unification-devel] making cl-ppcre extension portable In-Reply-To: <20090415213058.627352e9@inky> References: <20090415213058.627352e9@inky> Message-ID: <681CAAD1-A4AF-4570-A5CC-AE74AD919678@cs.nyu.edu> Thanks for the patches.... Yes. Splitting the system file is a better idea. I'll do that. (I got the asd file. But not here... looks like clnet has MIMEdefang setu up to be too eager) Marco On Apr 16, 2009, at 04:30 , Matthew D. Swank wrote: > WARNING: This e-mail has been altered by MIMEDefang. Following this > paragraph are indications of the actual changes made. For more > information about your site's MIMEDefang policy, contact > CIMS Helpdesk . For more information > about MIMEDefang, see: > > http://www.roaringpenguin.com/mimedefang/enduser.php3 > > An attachment named cl-unification-lib.asd was removed from this > document as it > constituted a security hazard. If you require this document, please > contact > the sender and arrange an alternate means of receiving it. > > Could something like to this be merged to make the new addition more > portable? > > Cheers, > > Matt > > -- > "You do not really understand something unless you can explain it to > your grandmother." -- Albert Einstein. > _______________________________________________ > cl-unification-devel site list > cl-unification-devel at common-lisp.net > http://common-lisp.net/mailman/listinfo/cl-unification-devel -- Marco Antoniotti From marcoxa at cs.nyu.edu Thu Apr 16 07:01:14 2009 From: marcoxa at cs.nyu.edu (Marco Antoniotti) Date: Thu, 16 Apr 2009 09:01:14 +0200 Subject: [cl-unification-devel] newbie; questions on comutivity. In-Reply-To: <20090415232235.46af120d@inky> References: <20090415232235.46af120d@inky> Message-ID: Hi It is correct because what you see in Prolog systems you actually see one extra step in the process. This is LW Prolog (SWIPl, arguably the most stable, free Prolog out there does the same). ====================== ==> ?- ?- 42 = X. X = 42; NO. ?- t(42, A) = t(A, B). A = 42 B = 42; NO. ?- t(A, B) = t(42, A). A = 42 B = 42; NO. ?- ====================== When the variables are printed (or even during unification, but this makes things slower) the 'terms' (read: the 'variables') are "grounded". I.e. all the substitutions are done and, in the second case the substitution for A is printed for B. So, the choice is where to do the "grounding" of the terms. I choose to leave it downstream. The algorithm is nevertheless correct. Check the following: ============================================================ UNIFY 10 > (unify '(?a ?b ?b) '(42 ?a 123)) Error: Cannot unify two different numbers: 42 123. 1 (abort) Return to level 0. 2 Return to top loop level 0. Type :b for backtrace, :c