1. 18

  2. 7

    I love this website. See also The Power of Prolog, another great online book.

    1. 3

      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).

      1. 1

        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).

        1. 1

          I don’t see how multiple language dependent (and mutually incompatible?) libraries helps Prolog adoption?

          1. 1

            Me too, but it looks like miniKanren is already implemented everywhere so I doubt there is real need for one common external implementation.

            1. 1

              Thanks! I’ll have a look.

        2. 1

          Hence the success of Datalog and Datomic. :)

        3. 1

          I own a print copy of this!