3 ms·
As someone who is interested in learning more abut these kinds of tools, where does one start? Prolog? datalog? MiniKranren? And now the TFA also introduces Pic
by wodenokoto 9mo ago
As someone who is interested in learning more abut these kinds of tools, where does one start? Prolog? datalog? MiniKranren? And now the TFA also introduces Picat.
And once you've settled on one of these, which learning resource should one go with?
- cess11 9mo agoIf you just want to dip in, grab https://www.scryer.pl/ https://www.scryer.pl/ and do some exercises from https://www.metalevel.at/prolog https://www.metalevel.at/prolog. Scryer is a good start because it's ISO. Datalog is kind of a subset, MiniKanren is somewhat related but not Prolog, and Picat is kind of Prolog with an imperative language within it.
- rramadass 9mo agosee https://news.ycombinator.com/item?id=45915699 https://news.ycombinator.com/item?id=45915699 first. Then checkout the books recommended by user "YeGoblynQueenne" who knows this domain pretty well.
- usgroup 9mo agoSWI Prolog is just fine, and you'll find it to be batteries included unlike many other choices. The first thing to learn is the "Prolog state of mind", or how to express your intentions in Prolog without trying to turn it into a functional or imperative programming language. Prolog will show you another way of thinking. If it does not then you are doing it wrong.