On Thu, Jul 21, 2011 at 10:27 AM, Meikel Brandmeyer wrote:
> Hi,
>
> Am Donnerstag, 21. Juli 2011 16:06:23 UTC+2 schrieb Ambrose
> Bonnaire-Sergeant:
>
> >> You do not need to look at the surrounding code to know what (geto x y
> z) does.
> >> It establishes the geto relation between x y z. x mus
On Thu, Jul 21, 2011 at 10:27 PM, Meikel Brandmeyer wrote:
> Hi,
>
> Am Donnerstag, 21. Juli 2011 16:06:23 UTC+2 schrieb Ambrose
> Bonnaire-Sergeant:
>
> >> You do not need to look at the surrounding code to know what (geto x y
> z) does.
> >> It establishes the geto relation between x y z. x mus
Hi,
Am Donnerstag, 21. Juli 2011 16:06:23 UTC+2 schrieb Ambrose
Bonnaire-Sergeant:
>> You do not need to look at the surrounding code to know what (geto x y z)
does.
>> It establishes the geto relation between x y z. x must be some key in, y
must be a
>> vector of key-value pairs and z must be
Hello David,
Am Donnerstag, 21. Juli 2011 15:54:56 UTC+2 schrieb David Nolen:
This is something I personally don't like at all. What does this code do:
>> (geto x y z)? You can't tell you have to look at the surrounding context.
>> And that context can be arbitrary large. A similar example is E
On Thu, Jul 21, 2011 at 9:54 PM, David Nolen wrote:
> On Thu, Jul 21, 2011 at 9:45 AM, Meikel Brandmeyer wrote:
>
>> Hi,
>>
>> Am Donnerstag, 21. Juli 2011 15:24:49 UTC+2 schrieb Ambrose
>> Bonnaire-Sergeant:
>>
>>
>> > Ah, but is mapsto? a boolean predicate? :)
>>
>> Why should ? denote a boole
On Thu, Jul 21, 2011 at 9:45 AM, Meikel Brandmeyer wrote:
> Hi,
>
> Am Donnerstag, 21. Juli 2011 15:24:49 UTC+2 schrieb Ambrose
> Bonnaire-Sergeant:
>
>
> > Ah, but is mapsto? a boolean predicate? :)
>
> Why should ? denote a boolean predicate? This is logic programming, not
> functional programm
Hi,
Am Donnerstag, 21. Juli 2011 15:24:49 UTC+2 schrieb Ambrose
Bonnaire-Sergeant:
> Ah, but is mapsto? a boolean predicate? :)
Why should ? denote a boolean predicate? This is logic programming, not
functional programming. ;) In Mathematics i is the imaginary unit, in
electrical engineering
Hi Meikel,
On Thu, Jul 21, 2011 at 2:19 PM, Meikel Brandmeyer wrote:
> Hi,
>
> Am Mittwoch, 20. Juli 2011 15:28:58 UTC+2 schrieb Ambrose
> Bonnaire-Sergeant:
>
>> I also dropped the whole walkthrough with typedo, and replaced it with an
>> interesting (but much easier) look at geto.
>> See "Util
Hi,
Am Mittwoch, 20. Juli 2011 15:28:58 UTC+2 schrieb Ambrose Bonnaire-Sergeant:
>
> I also dropped the whole walkthrough with typedo, and replaced it with an
> interesting (but much easier) look at geto.
> See "Utility Function: geto" for the new section.
>
> https://github.com/frenchy64/Logic-
Thanks Brent, fixed!
https://github.com/frenchy64/Logic-Starter/wiki/_compare/70c2518e77c3a52b38645f656c03149b31edcb32...837b794bedf93c959982533e8bdd12ef4fecf141
Ambrose
On Thu, Jul 21, 2011 at 8:46 AM, Brent Millare wrote:
> Should the example:
>
> (run* [q]
> (geto 'g
>[['f :
Should the example:
(run* [q]
(geto 'g
[['f :- Integer]]
Integer)
(== q true))
;=> ()
The type association ['g :- Integer] does not occur in the environment
[ ['f :- Integer] ], so geto succeeds.
Read "so geto fails" instead? since the result is ()?
On Jul 20,
Hi Meikel,
On Tue, Jul 19, 2011 at 2:27 PM, Meikel Brandmeyer wrote:
> Hi Ambrose,
>
> I haven't been exposed to logic programming besides the examples David
> posted to the list. I found your tutorial very easy to follow and to read. I
> have two minor nit-picks.
>
>
>1. I understand, that
On Wed, Jul 20, 2011 at 3:45 AM, Ambrose Bonnaire-Sergeant <
abonnaireserge...@gmail.com> wrote:
> On Wed, Jul 20, 2011 at 3:34 PM, Tassilo Horn wrote:
>>
>> > Here's the relevant Jira issue, feel free to voice your opinion.
>> >
>> > http://dev.clojure.org/jira/browse/LOGIC-10
>>
>> I had a quic
On Wed, Jul 20, 2011 at 3:34 PM, Tassilo Horn wrote:
>
> > Here's the relevant Jira issue, feel free to voice your opinion.
> >
> > http://dev.clojure.org/jira/browse/LOGIC-10
>
> I had a quick look at your patch but I'm not sure if all of them comply
> with the usual clojure conventions. For exam
Ambrose Bonnaire-Sergeant writes:
Hi Ambrose,
>> > Ambrose has submitted a patch which I need to go over. Even so, I
>> > don't think docstrings are going to help you that much.
>>
>> It doesn't teach you logic programming, but at least it could explain
>> the arguments. Something like:
>>
>> (
On Wed, Jul 20, 2011 at 2:40 PM, Tassilo Horn wrote:
> David Nolen writes:
>
> Hi David,
>
> > Ambrose has submitted a patch which I need to go over. Even so, I
> > don't think docstrings are going to help you that much.
>
> It doesn't teach you logic programming, but at least it could explain
>
David Nolen writes:
Hi David,
> Ambrose has submitted a patch which I need to go over. Even so, I
> don't think docstrings are going to help you that much.
It doesn't teach you logic programming, but at least it could explain
the arguments. Something like:
(defmacro exist [[& x-rest] & g-rest
On Tue, Jul 19, 2011 at 3:31 PM, Tassilo Horn wrote:
> David Nolen writes:
>
> Hi David,
>
> > I highly recommend checking this out if you're curious about
> > core.logic, https://github.com/frenchy64/Logic-Starter/wiki
>
> I've just read it, and I think I've grasped most of it although my last
>
David Nolen writes:
Hi David,
> I highly recommend checking this out if you're curious about
> core.logic, https://github.com/frenchy64/Logic-Starter/wiki
I've just read it, and I think I've grasped most of it although my last
prolog encounter is quite some time back. But how am I supposed to
On Tue, Jul 19, 2011 at 2:27 AM, Meikel Brandmeyer wrote:
> Hi Ambrose,
>
> I haven't been exposed to logic programming besides the examples David
> posted to the list. I found your tutorial very easy to follow and to read. I
> have two minor nit-picks.
>
>
>1. I understand, that these o, e
Hi,
Am Dienstag, 19. Juli 2011 08:42:47 UTC+2 schrieb Ambrose Bonnaire-Sergeant:
>
> Is this easier on the eyes?
>
> https://gist.github.com/1091495
>
Ah! Much better! :D
Meikel
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group
Hi Meikel,
Excellent feedback, exactly what I need. See replies inline.
On Tue, Jul 19, 2011 at 2:27 PM, Meikel Brandmeyer wrote:
> Hi Ambrose,
>
> I haven't been exposed to logic programming besides the examples David
> posted to the list. I found your tutorial very easy to follow and to read
Hi Ambrose,
I haven't been exposed to logic programming besides the examples David
posted to the list. I found your tutorial very easy to follow and to read. I
have two minor nit-picks.
1. I understand, that these o, e and some third, I think, suffixes are
there historically. And for s
(I'm frenchy64)
More cool stuff to come, watch this space http://twitter.com/#!/ambrosebs
Ambrose
On Tue, Jul 19, 2011 at 11:50 AM, Devin Walters wrote:
> Thanks David! (And French64 of course)
>
> --
> Devin Walters
>
>
> On Monday, July 18, 2011 at 10:33 PM, Brent Millare wrote:
>
> > Nice,
Thanks David! (And French64 of course)
--
Devin Walters
On Monday, July 18, 2011 at 10:33 PM, Brent Millare wrote:
> Nice, I'll be sure to go through it.
>
> On Jul 18, 10:56 am, David Nolen http://dnolen.li)...@gmail.com
> (http://gmail.com)> wrote:
> > I highly recommend checking this out
Nice, I'll be sure to go through it.
On Jul 18, 10:56 am, David Nolen wrote:
> I highly recommend checking this out if you're curious about
> core.logic,https://github.com/frenchy64/Logic-Starter/wiki
>
> David
--
You received this message because you are subscribed to the Google
Groups "Cloju
26 matches
Mail list logo
