3 ms·
You should learn Prolog sir: for the man that has everything.
by usgroup 3y ago
You should learn Prolog sir: for the man that has everything.
- nerdponx 3y agoI actually started down that path last year, with the incredible Power of Prolog book and video series. It's one of the more impressive learning resources I have ever come across.
- usgroup 3y agoProlog is only for the brave and true: when the student is ready, the teacher will appear :-)
- mmcdermott 3y agoI think a lot of the difficulty in Prolog comes down to the fact that you can read Prolog programs three ways: as a restricted form of first order logic (Horn clauses), as a procedure, and as an execution model. The last is double confusing because almost all programmers are used to controlling the execution model and Prolog demands that you relinquish a lot of control there ("Algorithm = logic + control" by Kowalski talks about this a bit). You also cannot ignore any of them because any non-trivial Prolog program exploits all three.
- usgroup 3y agoYeah I think that's right. I'm doing Advent of Code in Prolog at the moment and checking other people's solutions -- I've yet to see 2 Prolog solutions which are mostly the same. The admixture you described results in code that aligns very closely with the thinker, and less closely with a specific procedure. Its very weird to see. Having said that -- once you get Prolog and use it for a while, your brain (at least my brain) wants to replace EVERYTHING with Prolog.
- vcdimension 3y agoIt should be easy to implement miniKanren in txr lisp.
- kazinator 3y agoI would consider something like that for inclusion in stdlib/.