Learning Prolog to be a better Haskell programmer February 17, 2014June 5, 2016 kwangseo HaskellCurry-Howard Isomorphism, Haskell, Prolog, type level programming http://kseo.github.io/posts/2014-02-17-learning-prolog-to-be-a-better-haskell-programmer.html Advertisements Share this:TwitterRedditGoogleFacebookLike this:Like Loading...
[…] my previous post “Learning Prolog to be a better Haskell programmer“, I advocated learning Prolog is quite helpful to get more intuitions on Haskell type-level […] Reply
I recommend to read “Programming in Prolog: Using the ISO Standard”. It is the definitive introductory text on Prolog. Reply
[…] my previous post “Learning Prolog to be a better Haskell programmer“, I advocated learning Prolog is quite helpful to get more intuitions on Haskell type-level […]
learning Prolog is very difficult so do you have some steps to flow and to learn easy
I recommend to read “Programming in Prolog: Using the ISO Standard”. It is the definitive introductory text on Prolog.