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, 9:28 am, Ambrose Bonnaire-Sergeant
<[email protected]> wrote:
> Hi Meikel,
>
>
>
>
>
>
>
>
>
> On Tue, Jul 19, 2011 at 2:27 PM, Meikel Brandmeyer <[email protected]> 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 and some third, I think, suffixes are
> > there historically. And for someone not used to logic programming they
> > are
> > as counter-intuitive as it can get: o == relati*o*n? o.O WTF. Maybe you
> > can motivate a little why they are called like that historically? I
> > personally need such explanations in case of such (on first sight)
> > unrelated
> > things.
> > 2. After going through some more or less easy to follow and to
> > understand examples, you dive into the interesting stuff: the definition
> > of
> > typedo - and loose me completely with c, e, t, k, m, v, s and ?r. I
> > understand that c probably means context, e expression and t type. But
> > trying to keep the meaning of exists, matche, geto and other funny names
> > with strange suffixes in the cache *and* coping with one character
> > locals is - at least for me - a bit much.
>
> > I've tried to address some of your points in the tutorial.
>
> I've added a bit of background with an intro.
>
> 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-Starter/wiki
>
> Let me know what you think.
>
> Ambrose
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to [email protected]
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
