Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Would love an easier to understand example #1

Closed
Pebaz opened this issue Sep 12, 2021 · 2 comments
Closed

Would love an easier to understand example #1

Pebaz opened this issue Sep 12, 2021 · 2 comments

Comments

@Pebaz
Copy link

Pebaz commented Sep 12, 2021

As someone who does not have any familiarity with the concepts put forth in this crate, it would be awesome to have an even simpler example on the front page of the repo because I quite literally have no idea what the current example means. =)
@ekzhang
Copy link
Owner

ekzhang commented Sep 13, 2021

Sorry about that! I updated the README to link to the µKanren paper instead of the GitHub repository, which doesn't provide much info. If you're looking to get started with relational programming, check out the miniKanren website! The appendo example comes from this ICFP 2017 artifact.

I see on your profile that you've done some work with Nim before, and I was actually thinking about implementing a similar language in Nim, but decided on Rust first since I was more familiar with it. I think it might work really well though, especially since Nim has the iterator yield syntax and garbage collection! (And it doesn't exist yet, see nim-lang/needed-libraries#88.)

@Pebaz
Copy link
Author

Pebaz commented Sep 13, 2021

Awesome thank you for the info!
Yes Nim is a fantastic candidate for this :)

@ekzhang ekzhang closed this as completed Sep 13, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ekzhang @Pebaz