Thank you
Plinio Balduino
11 982 611 487
> On 08/02/2014, at 19:29, David Nolen wrote:
>
> My honest suggestion is to get a copies of The Reasoned Schemer, The Art of
> Prolog, and Concepts Techniques & Models of Computer Programming. They cover
> the terrain far better than any documentation
My honest suggestion is to get a copies of The Reasoned Schemer, The Art of
Prolog, and Concepts Techniques & Models of Computer Programming. They
cover the terrain far better than any documentation or tutorial can.
David
On Sat, Feb 8, 2014 at 4:26 PM, Plínio Balduino wrote:
> David, first of
David, first of all, congratulations for core.logic.
I would like to start with logic programming, but the texts I found aren't
for starters like me, even though I have a good experience as software
developer and functional programming is not a mistery anymore. What would
you recommend for someone
The main change is the introduction of a new protocol IVerifyConstraint.
Implementations of it will be called before a constraint is added to the
constraint store - this is the hook needed for detecting incompatible
constraints.
More information here: http://github.com/clojure/core.logic
Feedback
