Hi Ryan and thank you for the clarification! Now I just tried this: I made a new drscheme-file, choose the language "Module", saved it, and pasted the following into it: #lang scheme (require (planet dfriedman/miniKanren:1:1/minikanren)) (run #f (q) fail) the first two lines succeeded, but the third failed with this error: expand: unbound identifier in module in: fail the third line was taken from <a href="http://kanren.cvs.sourceforge.net/viewvc/kanren/kanren/mini/mktests.scm?revision=1.6&view=markup">the file mktests.scm</a> which I think is designed to test a minikanren implementation. Therefor I think that that third line is valid minikanren-syntax and should run without errors. Jon Loldrup using DrScheme 4.1.5 <div class="gmail_quote">2009/4/4 Ryan Culpepper <<a href="mailto:ryanc@ccs.neu.edu">ryanc@ccs.neu.edu</a>> <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> PLaneT is designed so you don't have to download files and fiddle with names and paths yourself. DrScheme will download the files, put them in the right place, compile them, install their documentation, etc automatically. 1 Open a fresh DrScheme window (make sure the language is Module or Pretty Big) 2 Go to the Interactions area (the bottom part of the editor, with the prompt) 3 Execute that require line:<div class="im"> (require (planet dfriedman/miniKanren:1:1/minikanren)) </div> That's it! You now have minikanren installed (DrScheme shows a message saying so at the bottom of the window), and you can use it immediately in the interactions area. To develop a program with minikanren, copy the require line up to the definitions area (the top part). Take a look at the Quick Introduction to PLT Scheme with Pictures, especially the part about modules: <a href="http://docs.plt-scheme.org/quick/index.html#%28part._.Modules%29" target="_blank">http://docs.plt-scheme.org/quick/index.html#(part._.Modules)</a> And then perhapse browse the Guide for more information: <a href="http://docs.plt-scheme.org/guide/index.html" target="_blank">http://docs.plt-scheme.org/guide/index.html</a> You have local copies of this documentation and more: select the "Help" menu and click "Help Desk". Hope that helps! Ryan Jon Loldrup wrote: <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im"> Hi I'm trying to import </div> the<<a href="http://planet.plt-scheme.org/display.ss?package=miniKanren.plt&owner=dfriedman" target="_blank">http://planet.plt-scheme.org/display.ss?package=miniKanren.plt&owner=dfriedman</a>>minikanren<div class="im"> library to my PLT-Scheme 4.1.5. Does a relatively simple method exist for getting to know how to import libraries into DrScheme? Will I have to read all this <a href="http://docs.plt-scheme.org/reference/require.html" target="_blank">http://docs.plt-scheme.org/reference/require.html</a> to be able to do it? The file I'm trying to load is the minikanren.ss - I created the file by copying the source code from the link into a new text-file, </div> naming it minikanren.ss<<a href="http://planet.plt-scheme.org/display.ss?package=miniKanren.plt&owner=dfriedman" target="_blank">http://planet.plt-scheme.org/display.ss?package=miniKanren.plt&owner=dfriedman</a>>and<div class="im"> placing it on my harddrive. I just need a document describing where to put the minikanren.ss file and how to write the path to this file in the include-sentence. </div> The minikanren site<<a href="http://planet.plt-scheme.org/display.ss?package=miniKanren.plt&owner=dfriedman" target="_blank">http://planet.plt-scheme.org/display.ss?package=miniKanren.plt&owner=dfriedman</a>>says<div class="im"> this: "To load: *(require (planet dfriedman/miniKanren:1:1/minikanren))" * Which doesn't tell me how to load it as it seems it has to be modified before it will work. I've tried it as-is with no luck, while placing the minikanren.ss in C:\Program Files\PLT\collects\minikanren. I also tried theese require sentences: *(require (planet ~/minikanren/minikanren.ss:1:1/minikanren)) (require (planet C:\Program Files\PLT\collects\minikanren.ss:1:1/minikanren)) *and some others, with no luck either. I also tried simply opening the minikanren.ss file in DrScheme, choosing the language "Pretty Big". It runs fine, but then I can't run simple test cases like: (run #f (q) fail) which results in: ". . reference to undefined identifier: run" What does a Schemer do? kind regards Jon Loldrup </div> ------------------------------------------------------------------------ _________________________________________________ For list-related administrative tasks: <a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a> </blockquote> </blockquote></div>