I love this website. See also The Power of Prolog, another great online book.
I never understood why Prolog needs to be its own language, if it worked similar to something like sqlite instead I think it would have been used a lot more (i.e. a datastore that you can query with prolog syntax and a prelude for customized setup).
Logic programming can be a separate language and it also can be a library - here is an example temperance in Common Lisp and core.logic in Clojure (I’m sure there are examples in other languages).
I don’t see how multiple language dependent (and mutually incompatible?) libraries helps Prolog adoption?
Me too, but it looks like miniKanren is already implemented everywhere so I doubt there is real need for one common external implementation.
Thanks! I’ll have a look.
Hence the success of Datalog and Datomic. :)
I own a print copy of this!