prolog

Going from C to programming idiomatic Prolog is a huge shift, and teaches you a new way to look at things.

How does this compare to languages with built in databases such as prolog?

For example, same story is with an optimising WAM-based embedded Prolog DSL, multiple querying DSLs, tree walking DSLs (which are essential for implementing macros efficiently).

With prolog it would take 30 minutes to have something like this, given that you know the puzzle and what you want the robots to do.

My one desire is that Styla becomes a first class citizen in this ecosystem as well - when you need prolog, there is often no easy substitute.

And there's also prolog, which I plan to pick up next...

Just reading your comment I was thinking about the closed world assumption in logic (prolog), perhaps there are some middle concept between the Proof by Contradiction and the closed world assumption.

I'm interested in Q (of KDB) for this reason, have also been baking my brain in prolog to tear down old data model habits, and hacking some in Ruby and Common Lisp for the same reasons.

Proficient in: * Python ['django', 'bottle', 'google.app.engine', 'pyramid'] * Javascript ['angular','backbone','node','firebase']; * Clojure '(compojure liberator) * Go {'appengine'} * Haskell, Prolog (and other esoterics) We've helped entrepreneurs develop their MVP, as well as large companies develop core features.

Although it should have been called "Functional languages every programmer should know." My personal list would include: Erlang, Forth, Scheme, Haskell, Prolog and omit Scala and *ML.

And then some "brain teaser" languages to expand your horizons, Prolog is a good one for a rainy weekend and doing some simple Brainfuck programming because Brainfuck is to Turing machines what Lisp is to Lambda calculus.

At the time you wrote the published Lisp books, it was the height of AI-bubble and people needed to learn Lisp and Prolog.

It's closer to see it as a Prolog's cousin than Haskell's.

In late 1980s, it was expected that by 2000, you'd have a GaAs computer on every desktop (powered by Occam or Prolog, of course;-)).