Skip to content
Hallway
0:00 / 0:00

#prolog#logicprogramming#constraintlogicprogramming

A Tour of Prolog

The Power of Prolog

6.9K subscribers • 3 videos on Hallway

YouTube
  • Recommended by 3 people: 2 on Hacker News and 1 on Lobsters.
  • Presented by Markus Triska

Intermediate. Assumes working knowledge.

33K views4 years ago3 recommendations

Programming languagesComputer scienceLanguage design and type systemsComputation and complexity

Markus Triska demonstrates Prolog's unique features, including constraint solving, rule processing, and writing concise meta-interpreters.

Let's take a look at Prolog's greatest attractions and most unique features! In addition to being an excellent database and query language, Prolog is uniquely suited for processing rules, reasoning about strings, and solving combinatorial problems. Rewriting code at compilation time, a feature called macros in other languages, is easily possible in Prolog. Prolog's implicit mechanisms allow exceptionally concise meta-interpreters. These features make Prolog a very attractive language for writing interpreters and other complex applications.

Why it's here

3 people recommend this

What people say. Highly recommended as an excellent, comprehensive introduction to modern, idiomatic Prolog and its unique capabilities.

ggzoron Hacker News • Recommends

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: link to this video
View on Hacker News

groseon Hacker News • Recommends

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: link to 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 library1, Go library2, and is now one of the best-supported languages for the Spin runtime3. 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…
View on Hacker News

rdtscon Hacker News • Mentions

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 link to 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?
View on Hacker News