I started studying miniKanren with the book "The Reasoned Schemer - second edition" and the DrRacket scheme environment.
I installed the "faster-minikanren" package, but the first examples of the book with the command run*
(for example, (run* q #f)
) produce error messages such as run*: bad syntax in: (run* q #f)
.
Does this mean that the "faster-minikanren" package does not provide the right definition of minikanren? Or am I making a mistake?
Okay, everything Will Ness says is correct. Let me add another high-level comment: it looks like there's a combination of further development and a certain lack of support that's contributing to your situation.
1) It looks like the minikanren language has continued to evolve since the book was published.
2) It looks like certain changes (e.g. the #u success goal) weren't easy fits for Racket (though they'd certainly be possible with a Reader extension), and the authors of the libraries you're using elected to change the language instead.
One thing that may help are the docs for the original minikanren package (online at https://docs.racket-lang.org/minikanren/index.html ), which are nicely formatted and readable, and provide references for further reading.