I'm not saying you can't do things with Curry-Howard. I'm just saying Russell-Whitehead is not getting enough credit these days, and that the interplay between the two correspondences is an under-exploited fertile land.
Should one learn Prolog? Maybe for logic programming, the mini-Kanren approach is better. Or Mercury, or Oz. Or Shen. Anyway, Prolog may have been the first logic programming language, but is not necessarily the best approach. Definitely not the only one.
-
-
My response would be to learn Prolog of course because it's the foundation of one of the great styles of programming. Then go on to learn and use Shen or Mercury or Datalog or whatever as desired for further education or purposes.
-
For me it was much better to work backwards from Shen to Prolog because it used Prolog in service of something I care about, types.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!