Cool - thanks!
On Fri, Dec 10, 2010 at 3:41 PM, Matthias Felleisen wrote:
>
> Oh that's 10 bucks. Dang.
>
> So YC, here is your answer:
>
> plt/collects/racklog/unify.rkt
>
>
_
For list-related administrative tasks:
http://lists.racket-lang.org
Oh that's 10 bucks. Dang.
So YC, here is your answer:
plt/collects/racklog/unify.rkt
-- Matthias
On Dec 10, 2010, at 6:35 PM, Carl Eastlund wrote:
> On Fri, Dec 10, 2010 at 6:32 PM, Matthias Felleisen
> wrote:
>>
>> I almost pointed you to plt/collects/schelog which contains an old Pr
On Fri, Dec 10, 2010 at 6:32 PM, Matthias Felleisen
wrote:
>
> I almost pointed you to plt/collects/schelog which contains an old Prolog
> embedding that I
> wrote in 1984 with a full-fledged (cyclic) unification inside, all on one
> page. But then I
> discovered it's an empty collection ... Who
On Dec 10, 2010, at 6:14 PM, YC wrote:
> Thanks for all the quick responses from Carl, Shriram, Justin, and Doug so
> far.
>
> Shriram - didn't realize this has homework implications or I would be more
> careful ;)
It may not.
I almost pointed you to plt/collects/schelog which contains an o
Thanks for all the quick responses from Carl, Shriram, Justin, and Doug so
far.
Shriram - didn't realize this has homework implications or I would be more
careful ;)
Thanks,
yc
On Fri, Dec 10, 2010 at 2:48 PM, Doug Williams wrote:
> The inference collection has a unification algorithm buried i
The inference collection has a unification algorithm buried in it. I also
have a simpler version in Scheme somewhere in my archives. I'll look for it.
On Fri, Dec 10, 2010 at 3:33 PM, YC wrote:
> Hi all -
>
> does anyone know where I can find code for implementations of the
> unification algorit
There is one in Kent Dybvig's book, "The Scheme Programming Language."
It's online at
http://www.scheme.com/tspl3/examples.html#./examples:h10
Justin
On Fri, Dec 10, 2010 at 5:33 PM, YC wrote:
> Hi all -
> does anyone know where I can find code for implementations of the
> unification algorithm
I would suggest that people who reply to this do so directly to YC, to
avoid making life TOO easy for people who are trawling for homework
solutions.
Thanks.
(I will reply to YC directly.)
_
For list-related administrative tasks:
http://lists.ra
The source code to mini-Kanren includes a very concise unification
algorithm written in Scheme. I hear that language is very similar to
Racket. ;)
http://kanren.sourceforge.net/
I don't know if it will be exactly what you need, but it's at least a
starting point.
Carl Eastlund
On Fri, Dec 10,
9 matches
Mail list logo
