Top all-time · #857
Markus Triska
Personal blog · metalevel.at · on HN as triskaprogrammingai
Markus Triska's personal blog at metalevel.at covers programming and ai. Since 2015, 78 different Hacker News readers have linked it 171 times, most often “The Power of Prolog”. No feed was found, so read it on the site itself.
Most-linked posts?
- The Power of Prolog35 people · 50 mentions · first linked 2017-04-05
- A Couple of Meta-Interpreters in Prolog9 people · 12 mentions · first linked 2018-08-06
- Lisprolog – Interpreter for a Simple Lisp, Written in Prolog5 people · 6 mentions · first linked 2016-06-21
- Solving Sudoku with Prolog (2016)4 people · 4 mentions · first linked 2019-06-10
- Logic Puzzles with Prolog (2017)4 people · 4 mentions · first linked 2019-11-15
- /prolog/business3 people · 3 mentions · first linked 2018-10-06
- /prolog/clpz3 people · 3 mentions · first linked 2020-02-05
- /prolog/dcg2 people · 5 mentions · first linked 2018-09-14
- The Power of Prolog: Videos2 people · 3 mentions · first linked 2020-04-22
- Show HN: Constraint-Based School Timetabling with Prolog2 people · 3 mentions · first linked 2020-01-02
What Hacker News says?
Sure. First, I'd recommend checking out the website of HN user 'triska at https://www.metalevel.at/prolog -- there's more to Prolog itself than most people are ever made aware of. Frank Pfenning at CMU does some really cool research on concurrency using logical semantics and sequent calculi ( https://www.cs.cmu.edu/~fp/ ). Session types might be the coolest thing out of this particular corner of the field, but there…
Comment linking /prolog
on “Ask HN: What are you learning?”Submitted The Power of Prolog as a story · 480 points
HN discussionI recommend starting with [0] to get a feel for what's possible. [1] is great when you have time to dive deeper. [2] is good motivation, and [3] will show you how to build a practical roles & permissions system. Keep in mind that you don't have to build your app in 100% prolog to use prolog. There are likely implementations in your favorite language. For example, Rust[a] JavaScript[b], and Ruby[c]. [0] https://learn…
Comment linking /prolog
on “Ask HN: How to rediscover the joy of programming?”Submitted The Power of Prolog as a story · 381 points
HN discussionHah! I used exactly this example to motivate the arbitrary precision CLP(FD) implementation, published as The Finite Domain Constraint Solver of SWI-Prolog , FLOPS 2012, LNCS 7294: https://www.metalevel.at/swiclpfd.pdf The observations on type inference are also spot on. The project you mentioned was previously discussed on HN, but the page is no longer available: https://news.ycombinator.com/item?id=12108041
Comment linking /swiclpfd.pdf
on “The Power of Prolog”Submitted The Power of Prolog as a story · 348 points
HN discussionThank you very much for the publicity, I greatly appreciate it! This book has been discussed on HN about one year ago: https://news.ycombinator.com/item?id=14045987 Since then, I have added the following new chapters: Prolog Business Cases: https://www.metalevel.at/prolog/business Sorting and Searching: https://www.metalevel.at/prolog/sorting Cryptography with Prolog: https://www.metalevel.at/prolog/cryptography Eng…
Comment linking /prolog/ai
on “The Power of Prolog”Submitted The Power of Prolog as a story · 279 points
HN discussionIMHO, the most beautiful lisp interpreter in a language that is not lisp is this one in prolog. https://www.metalevel.at/lisprolog/ https://www.metalevel.at/lisprolog/lisprolog.pl
Comment linking /lisprolog/lisprolog.pl
on “Ask HN: What is the most beautiful piece of code you've ever read?”Submitted Solving Sudoku with Prolog (2016) as a story · 179 points
HN discussionUsing the clpb library [0]: solution([A1,A2,A3,A4,A5,A6]) :- sat(A1 =:= A2*A3*A4*A5*A6), sat(A2 =:= ~(A3+A4+A5+A6)), sat(A3 =:= A1*A2), sat(A4 =:= A1+A2+A3), sat(A5 =:= ~(A1+A2+A3+A4)), sat(A6 =:= ~(A1+A2+A3+A4+A5)). [0] https://www.metalevel.at/prolog/puzzles
Comment linking /prolog/puzzles
on “Which answer in this list is the correct answer to this question? (2017)”Submitted Logic Puzzles with Prolog (2017) as a story · 138 points
HN discussionProlog has reached an exciting new milestone with Scryer prolog. It is the first highly performant open source iso-compliant Prolog. I would check out Markus Triska's work to have your mind blown: https://www.metalevel.at/prolog https://youtube.com/@thepowerofprolog
Comment linking /prolog
on “Ask HN: What's Prolog like in 2024?”Submitted A Couple of Meta-Interpreters in Prolog as a story · 136 points
HN discussionCLP(FD) and CLP(Z) would be worth checking: https://www.metalevel.at/prolog/clpz .
Comment linking /prolog/clpz
on “OptaPlanner – constraint solver for optimizing planning and scheduling problems”Submitted The FAQ of comp.lang.prolog is maintained as a Prolog source file as a story · 118 points
HN discussionhttps://www.metalevel.at/prolog/business which is a chapter of the book
Comment linking /prolog/business
on “The Power of Prolog”Submitted Prolog Web Applications (2016) as a story · 104 points
HN discussionThank you very much for your interest, I greatly appreciate it! I hope you are all doing reasonably well. Please take care! This book was most recently discussed here in May 2018: https://news.ycombinator.com/item?id=17121028 Since then, I have added a new chapter, Logical Foundations of Prolog : https://www.metalevel.at/prolog/logic Also, I have made several other additions and improvements. You can see most of the…
Comment linking /prolog/timetabling/
on “The Power of Prolog”Submitted Lisprolog – Interpreter for a Simple Lisp, Written in Prolog as a story · 52 points
HN discussionSo first, let's keep in mind that with no execution model, Prolog is still a "syntax" for Horn clauses. It's still a way to document knowledge. Add SLD resolution and we can compute. The paper (intentionally I presume) orders clauses of a simple predicate to illustrate (cause) a problem in Prolog. But what I actually find is the more time spent in Prolog, the more natural it is to express things in a way that is cle…
Comment linking /prolog
on “Use Prolog to improve LLM's reasoning”Submitted Turing Machine in Prolog (2017) as a story · 42 points
HN discussionPower of Prolog. Nearly every video is mind blowing. Blog is great too, and Markus is a great guy also. https://youtube.com/@thepowerofprolog https://www.metalevel.at/prolog
Comment linking /prolog
on “Programming languages that blew my mind (2023)”Submitted The Power of Prolog: An Introduction to Modern Prolog as a story · 36 points
HN discussionHave to add to obvious ones: prolog. Almost every prolog comes now with a sat solver. With prolog it's usually easiest to formulate a problem. Efficient solutions are a bit of a black art though: https://www.metalevel.at/prolog/horror
Comment linking /prolog/horror
on “Modern SAT solvers: fast, neat and underused”Submitted Show HN: Constraint-Based School Timetabling with Prolog as a story · 20 points
HN discussionTo be honest I don't know any short articles that do a good job of describing Prolog. For a practically-minded programmer, I'd recommend this longer tutorial that guides you through the creation of an old-skewl text-based adventure game: https://amzi.com/AdventureInProlog/apreface.php As far as I remember, the tutorial should run on most Prologs without (significant?) modification. For a more in-depth, high-level, m…
Comment linking /prolog
on “Dear sir, you have built a compiler”Submitted Prolog Coding Horror as a story · 12 points
HN discussioni have always trouble understaing prolog, lot of guide online seem to just tackle the syntax or assume you already know a lot of logic programming, for example the first example in the link ( https://www.metalevel.at/prolog/facets ): list_length([], 0). list_length([_|Ls], N) :- N #> 0, N #= N0 + 1, list_length(Ls, N0). i don't undestand it, i read the segment describing it multiple time but i still don't get it, an…
Comment linking /prolog/facets
on “The Power of Prolog”Submitted The Power of Prolog: Videos as a story · 4 points
HN discussion
