Re: Core Logic Reference Documentation

[Benjamin Peter]

Hello,
 

> On Thu, Jul 11, 2013 at 1:06 PM, Benjamin Peter 
> 
> > 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.

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Re: Core Logic Reference Documentation

[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


On Thu, Jul 11, 2013 at 1:06 PM, Benjamin Peter wrote:

> 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.
>
>
>
>  --
> --
> You received this message because you are subscribed to the Google
> Groups "Clojure" group.
> To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Re: Core Logic Reference Documentation

[Plínio Balduino]

Hey, good job.

I missed a cheat sheet like this.

Thank you.

On Thu, Jul 11, 2013 at 3:06 PM, Benjamin Peter wrote:

> 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.
>
>
>
>  --
> --
> You received this message because you are subscribed to the Google
> Groups "Clojure" group.
> To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Re: Core Logic Reference Documentation

[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.



-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Re: Core Logic Reference Documentation

[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. 

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Re: Core Logic Reference Documentation

[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. 

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Re: core logic

[Josh Kamau]

Piotr i will as soon as am done.

Josh


On Wed, Jun 19, 2013 at 11:26 AM, 良ϖ  wrote:

> Hello Josh, I would be glad you share your code :)
>
> Piotr
>
>
> 2013/6/18 David Nolen 
>
>> This is a variant of the Zebra/Einstein Puzzle. You can probably Google
>> for "miniKanren core.logic zebra" and find a solution if you get stuck ;)
>>
>> David
>>
>>
>> On Tue, Jun 18, 2013 at 7:57 AM, Josh Kamau wrote:
>>
>>> Hi ;
>>>
>>> I am trying to learn clojure core.logic. I have gone through some
>>> documentation on github by David Nolen.  I am now trying to solve this
>>> problem:  Anyone willing to do some practice can try and share the
>>> solution.
>>>
>>>  *SOLVE THIS PROBLEM.*
>>>
>>> *The Diplomats at Muthaiga Estate*
>>>
>>> The facts essential to solving the problem - which can indeed be solved
>>> by combining deduction, analysis, and sheer persistence - are as follows.
>>> Givens
>>>
>>>1.
>>>
>>>There are five houses, each of a different colour and inhabited by
>>>people of different nationalities, with different pets, drinks, and
>>>pastimes.
>>>2.
>>>
>>>The English live in the Red house.
>>>3.
>>>
>>>The Spaniards own the Dog.
>>>4.
>>>
>>>Coffee is drunk in the Green house.
>>>5.
>>>
>>>The Ukrainians drink Tea.
>>>6.
>>>
>>>The Green house is immediately to the right (your right) of the
>>>Ivory house.
>>>7.
>>>
>>>The Chess players own Snails.
>>>8.
>>>
>>>Scrabble is played in the Yellow house.
>>>9.
>>>
>>>Milk is drunk in the Middle house.
>>>10.
>>>
>>>The Norwegians live in the First house on the Left.
>>>11.
>>>
>>>People who play Cribbage live in the house next to the people who
>>>own a pet Fox.
>>>12.
>>>
>>>Scrabble is played in the house next to the house where the Horse is
>>>kept.
>>>13.
>>>
>>>The Bridge players drink Orange Juice.
>>>14.
>>>
>>>The Japanese play Monopoly.
>>>15.
>>>
>>>The Norwegians live next to the Blue house.
>>>
>>>
>>>
>>>
>>>
>>>  *ANSWER THE FOLLOWING QUESTIONS*.
>>>
>>> Who drinks water? And who owns the Zebra?
>>>
>>> 1. The WATER drinkers are:
>>>
>>>1.
>>>
>>>*English
>>>*
>>>2.
>>>
>>>*Spaniards
>>>*
>>>3.
>>>
>>>*Norwegians
>>>*
>>>4.
>>>
>>>*Japanese
>>>*
>>>5.
>>>
>>>I Give UP!! *Tell Me Who Drinks The 
>>> Water
>>>*
>>>
>>>  2. Who owns the Zebra?
>>>
>>>1.
>>>
>>>*English
>>>*
>>>2.
>>>
>>>*Spaniards
>>>*
>>>3.
>>>
>>>*Norwegians
>>>*
>>>4.
>>>
>>>*Japanese
>>>*
>>>5.
>>>
>>>I Give UP!!! *Tell Me Who Drinks The Water And Who Owns The 
>>> Zebra
>>>*
>>>
>>>  --
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "Clojure" group.
>>> To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
>>> For more options, visit https://groups.google.com/groups/opt_out.
>>>
>>>
>>>
>>
>>  --
>> --
>> You received this message because you are subscribed to the Google
>> Groups "Clojure" group.
>> To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
>> For more options, visit https://groups.google.com/groups/opt_out.
>>
>>
>>
>
>  --
> --
> You received this message because you are subscribed to the Google
> Groups "Clojure" group.
> To post to this group, send ema

Re: core logic

[良ϖ]

Hello Josh, I would be glad you share your code :)

Piotr


2013/6/18 David Nolen 

> This is a variant of the Zebra/Einstein Puzzle. You can probably Google
> for "miniKanren core.logic zebra" and find a solution if you get stuck ;)
>
> David
>
>
> On Tue, Jun 18, 2013 at 7:57 AM, Josh Kamau  wrote:
>
>> Hi ;
>>
>> I am trying to learn clojure core.logic. I have gone through some
>> documentation on github by David Nolen.  I am now trying to solve this
>> problem:  Anyone willing to do some practice can try and share the
>> solution.
>>
>>  *SOLVE THIS PROBLEM.*
>>
>> *The Diplomats at Muthaiga Estate*
>>
>> The facts essential to solving the problem - which can indeed be solved
>> by combining deduction, analysis, and sheer persistence - are as follows.
>> Givens
>>
>>1.
>>
>>There are five houses, each of a different colour and inhabited by
>>people of different nationalities, with different pets, drinks, and
>>pastimes.
>>2.
>>
>>The English live in the Red house.
>>3.
>>
>>The Spaniards own the Dog.
>>4.
>>
>>Coffee is drunk in the Green house.
>>5.
>>
>>The Ukrainians drink Tea.
>>6.
>>
>>The Green house is immediately to the right (your right) of the Ivory
>>house.
>>7.
>>
>>The Chess players own Snails.
>>8.
>>
>>Scrabble is played in the Yellow house.
>>9.
>>
>>Milk is drunk in the Middle house.
>>10.
>>
>>The Norwegians live in the First house on the Left.
>>11.
>>
>>People who play Cribbage live in the house next to the people who own
>>a pet Fox.
>>12.
>>
>>Scrabble is played in the house next to the house where the Horse is
>>kept.
>>13.
>>
>>The Bridge players drink Orange Juice.
>>14.
>>
>>The Japanese play Monopoly.
>>15.
>>
>>The Norwegians live next to the Blue house.
>>
>>
>>
>>
>>
>>  *ANSWER THE FOLLOWING QUESTIONS*.
>>
>> Who drinks water? And who owns the Zebra?
>>
>> 1. The WATER drinkers are:
>>
>>1.
>>
>>*English 
>>*
>>2.
>>
>>*Spaniards
>>*
>>3.
>>
>>*Norwegians
>>*
>>4.
>>
>>*Japanese
>>*
>>5.
>>
>>I Give UP!! *Tell Me Who Drinks The 
>> Water
>>*
>>
>>  2. Who owns the Zebra?
>>
>>1.
>>
>>*English 
>>*
>>2.
>>
>>*Spaniards
>>*
>>3.
>>
>>*Norwegians
>>*
>>4.
>>
>>*Japanese
>>*
>>5.
>>
>>I Give UP!!! *Tell Me Who Drinks The Water And Who Owns The 
>> Zebra
>>*
>>
>>  --
>> --
>> You received this message because you are subscribed to the Google
>> Groups "Clojure" group.
>> To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
>> For more options, visit https://groups.google.com/groups/opt_out.
>>
>>
>>
>
>  --
> --
> You received this message because you are subscribed to the Google
> Groups "Clojure" group.
> To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojur

Re: core logic

[David Nolen]

This is a variant of the Zebra/Einstein Puzzle. You can probably Google for
"miniKanren core.logic zebra" and find a solution if you get stuck ;)

David


On Tue, Jun 18, 2013 at 7:57 AM, Josh Kamau  wrote:

> Hi ;
>
> I am trying to learn clojure core.logic. I have gone through some
> documentation on github by David Nolen.  I am now trying to solve this
> problem:  Anyone willing to do some practice can try and share the
> solution.
>
>  *SOLVE THIS PROBLEM.*
>
> *The Diplomats at Muthaiga Estate*
>
> The facts essential to solving the problem - which can indeed be solved by
> combining deduction, analysis, and sheer persistence - are as follows.
> Givens
>
>1.
>
>There are five houses, each of a different colour and inhabited by
>people of different nationalities, with different pets, drinks, and
>pastimes.
>2.
>
>The English live in the Red house.
>3.
>
>The Spaniards own the Dog.
>4.
>
>Coffee is drunk in the Green house.
>5.
>
>The Ukrainians drink Tea.
>6.
>
>The Green house is immediately to the right (your right) of the Ivory
>house.
>7.
>
>The Chess players own Snails.
>8.
>
>Scrabble is played in the Yellow house.
>9.
>
>Milk is drunk in the Middle house.
>10.
>
>The Norwegians live in the First house on the Left.
>11.
>
>People who play Cribbage live in the house next to the people who own
>a pet Fox.
>12.
>
>Scrabble is played in the house next to the house where the Horse is
>kept.
>13.
>
>The Bridge players drink Orange Juice.
>14.
>
>The Japanese play Monopoly.
>15.
>
>The Norwegians live next to the Blue house.
>
>
>
>
>
>  *ANSWER THE FOLLOWING QUESTIONS*.
>
> Who drinks water? And who owns the Zebra?
>
> 1. The WATER drinkers are:
>
>1.
>
>*English *
>2.
>
>*Spaniards
>*
>3.
>
>*Norwegians
>*
>4.
>
>*Japanese 
>*
>5.
>
>I Give UP!! *Tell Me Who Drinks The 
> Water
>*
>
>  2. Who owns the Zebra?
>
>1.
>
>*English *
>2.
>
>*Spaniards
>*
>3.
>
>*Norwegians
>*
>4.
>
>*Japanese 
>*
>5.
>
>I Give UP!!! *Tell Me Who Drinks The Water And Who Owns The 
> Zebra
>*
>
>  --
> --
> You received this message because you are subscribed to the Google
> Groups "Clojure" group.
> To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

core logic

[Josh Kamau]

Hi ;

I am trying to learn clojure core.logic. I have gone through some
documentation on github by David Nolen.  I am now trying to solve this
problem:  Anyone willing to do some practice can try and share the
solution.

 *SOLVE THIS PROBLEM.*

*The Diplomats at Muthaiga Estate*

The facts essential to solving the problem - which can indeed be solved by
combining deduction, analysis, and sheer persistence - are as follows.
Givens

   1.

   There are five houses, each of a different colour and inhabited by
   people of different nationalities, with different pets, drinks, and
   pastimes.
   2.

   The English live in the Red house.
   3.

   The Spaniards own the Dog.
   4.

   Coffee is drunk in the Green house.
   5.

   The Ukrainians drink Tea.
   6.

   The Green house is immediately to the right (your right) of the Ivory
   house.
   7.

   The Chess players own Snails.
   8.

   Scrabble is played in the Yellow house.
   9.

   Milk is drunk in the Middle house.
   10.

   The Norwegians live in the First house on the Left.
   11.

   People who play Cribbage live in the house next to the people who own a
   pet Fox.
   12.

   Scrabble is played in the house next to the house where the Horse is
   kept.
   13.

   The Bridge players drink Orange Juice.
   14.

   The Japanese play Monopoly.
   15.

   The Norwegians live next to the Blue house.





 *ANSWER THE FOLLOWING QUESTIONS*.

Who drinks water? And who owns the Zebra?

1. The WATER drinkers are:

   1.

   *English *
   2.

   *Spaniards *
   3.

   *Norwegians 
   *
   4.

   *Japanese *
   5.

   I Give UP!! *Tell Me Who Drinks The
Water
   *

 2. Who owns the Zebra?

   1.

   *English *
   2.

   *Spaniards *
   3.

   *Norwegians 
   *
   4.

   *Japanese *
   5.

   I Give UP!!! *Tell Me Who Drinks The Water And Who Owns The
Zebra
   *

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Re: Core Logic Reference Documentation

[xavriley]

In a fit of altruism, I decided to go ahead and do it myself.

http://corelogicdocs.herokuapp.com/

This is the result of an hour's work and some find-and-replace so I fully 
expect it to be broken in all kinds of ways, but it's a start :)


On Wednesday, May 29, 2013 6:08:06 PM UTC+1, Benjamin Peter wrote:
>
> 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.
>

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Re: Core Logic Reference Documentation

[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:
>
> 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.
>

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Re: Core Logic Reference Documentation

[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,


On Wednesday, May 29, 2013 6:08:06 PM UTC+1, Benjamin Peter wrote:
>
> 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.
>

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Re: Core Logic Reference Documentation

[David Nolen]

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


On Wed, May 29, 2013 at 1:08 PM, Benjamin Peter wrote:

> 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.
>
> --
> --
> You received this message because you are subscribed to the Google
> Groups "Clojure" group.
> To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

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.

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@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+unsubscr...@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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.