Core Logic Reference Documentation

[Benjamin Peter]

Hello,

I am currently trying to find my way to using clojure core logic, watching some videos, reading tutorials and trying to read the dissertation about miniKanren.

While this is quite nice to grasp the concepts I feel the need for a complete reference documentation listing all the functions and goals available. I feel like I have absolutely no overview about what there is, like with every new article I read I discover a new feature.

Maybe something like the clojure.org/cheatsheet with links to clojuredocs.org would be cool now that there are so much additions of kanren implemented.

Is there such a thing?

I looked into the code but was not sure what is the interface and what is implementation since logic.clj is pretty big.

If not I would be willing to help setting it up but since I am asking this question I have no clue about this stuff - yet.


Thanks for reading

Benjamin.

[David Nolen]

A core.logic cheatsheet would be a fantastic resource. I'd also welcome help in generating the basic doc pages.

--
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clo...@googlegroups.com
Note that posts from new members are moderated - please be patient with your first post.
To unsubscribe from this group, send email to
clojure+u...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
---
You received this message because you are subscribed to the Google Groups "Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email to clojure+u...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

[xavriley]

I made a fork of clojuredocs for the Overtone project (which is here - http://overtone-docs.herokuapp.com/). I'm happy to try something similar for core.logic if it would be useful. First on my list is getting Clojure 1.4 and 1.5 onto clojuredocs though...

If you want to try it yourself, repos are here:

https://github.com/xavriley/clojuredocs

https://github.com/xavriley/clojuredocs-analyzer

I've put notes in the readme to help people get started but beware, you'll need experience in setting up a Rails 2 site.

thanks,

[xavriley]

I went ahead and made a start here:

http://corelogicdocs.herokuapp.com/

It will probably have a few bugs but it's a start at least.

Google Groups seems to be deleting my posts so I'm hoping this gets through.

Thanks,

On Wednesday, May 29, 2013 6:08:06 PM UTC+1, Benjamin Peter wrote:

[Benjamin Peter]

Hi xavriley,

On Friday, June 7, 2013 2:52:33 PM UTC+2, xavriley wrote:

I went ahead and made a start here:

http://corelogicdocs.herokuapp.com/

that looks so cool. I have had good experiences with the clojuredocs.org folks, are you thinking about integrating it with clojuredocs or keep it standalone?

I just forked the cljoure cheatsheet and gonna try to group some functions and add links to your project.


Ben.

[Benjamin Peter]

Hello again,

On Monday, July 1, 2013 10:23:49 PM UTC+2, Benjamin Peter wrote:

Hi xavriley, 

I just forked the cljoure cheatsheet and gonna try to group some functions and add links to your project.

seems like the cheatsheet is pretty flexible. Here is a first prototype.

https://rawgithub.com/dedeibel/clojure-cheatsheets/master/src/clj-jvm/cheatsheet-use-title-attribute-no-cdocs-summary.html


Ben.

[Benjamin Peter]

Hello,

I went through the clojure core logic code and picked the functions I though that might go into the cheat sheet. The groups are pretty much defined by the code comments left by David and co.

https://rawgithub.com/dedeibel/clojure-cheatsheets/master/src/clj-jvm/cheatsheet-use-title-attribute-no-cdocs-summary.html

It would be really great if someone could look over that and leave comments about missing or superfluous entries. Additionally the grouping and their names should be considered a draft.

The next question is where this and xavrilley's clojuredocs clone could be hosted. Is there already a place where it would fit? minikanren.org? clojurecorelogic.org?


Thanks

Ben.

[Plínio Balduino]

Hey, good job.

I missed a cheat sheet like this.

Thank you.

[David Nolen]

This mostly looks good I remove the references to the defnc, fnc and predc these are very experimental, likely to change, and easy to cause trouble if you're not careful.

David

Ben.

[Benjamin Peter]

Hello,

 

On Thu, Jul 11, 2013 at 1:06 PM, Benjamin Peter <Benjam...@arcor.de> wrote:

I went through the clojure core logic code and picked the functions I though that might go into the cheat sheet. The groups are pretty much defined by the code comments left by David and co.

On Thursday, July 11, 2013 8:50:55 PM UTC+2, David Nolen wrote:

This mostly looks good I remove the references to the defnc, fnc and predc these are very experimental, likely to change, and easy to cause trouble if you're not careful.

 

thanks for the hint, I removed the block.

Sorry to everyone who has already created their bookmark but I had the urge to rename the github project and update the readme file.

Please use the updated location: https://rawgithub.com/dedeibel/clojure-core-logic-cheatsheets/master/out/cheatsheet-use-title-attribute-no-cdocs-summary.html

It is also linked from the project page: https://github.com/dedeibel/clojure-core-logic-cheatsheets


Ben.