If you look at the papers referenced in the Datalog documentation, you
can get a good start on the theory of Datalog and some things related
to it.
Jay
On Sat, Jul 6, 2013 at 1:49 PM, Richard Lawrence
wrote:
> Mark Engelberg
> writes:
>
>> While we're on the topic of exploring from Racket to al
Prolog proper or declarative logic programming? For the second I'd say
miniKanren and *'The Reasoned Schemer'.*
On Sat, Jul 6, 2013 at 7:13 AM, Mark Engelberg wrote:
> While we're on the topic of exploring from Racket to alternative
> languages, what's the friendliest way to dip into Prolog comi
I have completed about half of the first edition of HtDP, and also have
read most of Realm of Racket, and Land of Lisp as well.
I have to say, the first half of HtDP dealing with data structures was the
ONLY thing that gave me the fundamental insights into programming that I
needed to understand i
Mark Engelberg
writes:
> While we're on the topic of exploring from Racket to alternative languages,
> what's the friendliest way to dip into Prolog coming from a Racket
> background?
Well, there's the Racklog module:
http://docs.racket-lang.org/racklog/
There's also the Datalog language:
htt
I am a novice programmer - actually a novice learner - and this group and
2HTDP have been invaluable resources for me - really inspirational.
Through this group I learned about the launch of Realm of Racket. I also
noted the advice by Matthias about the sequence to follow in learning (BSL.
ISL, A
5 matches
Mail list logo
