WRT: patterns, I wonder if the list is aware of the work by Barry Jay with his Pattern Calculus <http://www-staff.it.uts.edu.au/~cbj/patterns/>, wherein he introduces patterns as first class citizens at the lambda level.
Peter On Thu, Mar 15, 2012 at 8:23 AM, Alan Kay <alan.n...@yahoo.com> wrote: > You don't want to use assert because it doesn't get undone during > backtracking. Look at the Alex Warth et al "Worlds" paper on the Viewpoints > site to see a better way to do this. (This is an outgrowth of the "labeled > situations" idea of McCarthy in 1963.) > > Cheers, > > Alan > > ------------------------------ > *From:* Ryan Mitchley <r...@peralex.com> > > *To:* Fundamentals of New Computing <fonc@vpri.org> > *Sent:* Thursday, March 15, 2012 5:02 AM > *Subject:* Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell) > > On 15/03/2012 13:01, Ryan Mitchley wrote: > > It still doesn't fit well with a procedural model, in common with > Prolog, though. > > > > > > Although, it has to be said that a procedural approach can be faked with a > combination of assertion and forward chaining. > > e.g. > > IsASquare(X, Y) iff line(X, blah), angle(blahblah) etc. > assert IsASquare(100, 200). > (System goes ahead and forward chains all of the subgoals, asserting facts > and creating a square as specified. Excuse the made-up syntax.) > > Forward chaining doesn't come standard with micro-PROLOG (or Prolog), but > can be added. > > > Disclaimer: http://www.peralex.com/disclaimer.html > > > _______________________________________________ > fonc mailing list > fonc@vpri.org > http://vpri.org/mailman/listinfo/fonc > > > > _______________________________________________ > fonc mailing list > fonc@vpri.org > http://vpri.org/mailman/listinfo/fonc > >
_______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc
