A Tour of Prolog
Why Hacker News recommends it
HN recommends it as the best short introduction to what makes Prolog unique.
What it is
Markus Triska tours Prolog's most distinctive features, including its use as a database and query language, rule processing, constraint solving and compile-time rewriting. It also covers concise meta-interpreters.
Recommended by 2 HN commenters across 2 different months, 2022 to 2024.
What Hacker News said
Strong rec ggzor · 2022-12 · on “Prolog at Work”
The Power of Prolog [0] is a fantastic blog/video series covering everything from basic syntax, theoretical basis, modern features and idiomatic constructs. I highly recommend it if you want to get the gist of Prolog and its modern features. If you want a tour of Prolog, you can watch the video with the same name [1]. [0]: [LINK] [1]: [this video]
Recommends grose · 2023-04 · on “Why did Prolog lose steam? (2010)”
I think that Prolog will rise again. If you have an hour to kill, check out this video introduction by Markus Triska about what makes Prolog unique: [this video] Recently I have been working on getting Trealla Prolog to run in WebAssembly. Support is quite good now, with an easy-to-use JS library[1], Go library[2], and is now one of the best-supported languages for the Spin runtime[3]. I think it's particularly nice for validations, you can write some simple Prolog rules and run the same code on the client and the server now. I would like to explore this more with a dedicated library at some point. Built-in features like DCGs make parsing/generating all kinds of data trivial. I love it. I think t
Cites rdtsc · 2024-10 · on “Use Prolog to improve LLM's reasoning”
I was watching some of the videos and in the intro Markus mentioned some of the most popular Prolog systems [this video] SICStus, GNU Prolog, XSB, Ciao, Scryer, Traella, Tau but does not mention at all of SWI-Prolog. I remember using SWI-Prolog back in the day, did it somehow fall out favor, or is there some animosity between implementation and Markus is just not in the SWI-Prolog camp?