HackerReposA FIELD GUIDE TO OPEN SOURCE
ProSponsor the shelf♧ 0
← Back to top all-time
triska
the-power-of-prolog
HTML2018–2023
triska / the-power-of-prolog

the-power-of-prolog

The Power of Prolog: Introduction to modern Prolog

Learning & Reference
Explore on GitHubRead Hacker News discussions
4Distinct people
9Mentions
0Explicit recommenders
1.4KGitHub stars
REPOSITORY AT A GLANCE

What to know before exploring

What it is

The Power of Prolog: Introduction to modern Prolog

GitHub

Where it is used

No documented product use has been verified yet.

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

Mentioned in the same Hacker News threads. That is not proof they are substitutes.

This week on Hacker News

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 5:04:57 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

Mentions over time

HN mentions by year9 dated mentions

Observed mentions: 2018-05-21 19:34:49 UTC to 2023-04-19 06:50:18 UTC.

012342018-01-01 00:00:00 UTC to 2019-01-01 00:00:00 UTC (exclusive): 4 mentions; 1 submissions, 3 comments20182019-01-01 00:00:00 UTC to 2020-01-01 00:00:00 UTC (exclusive): 2 mentions; 0 submissions, 2 comments2020-01-01 00:00:00 UTC to 2021-01-01 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 comments20202021-01-01 00:00:00 UTC to 2022-01-01 00:00:00 UTC (exclusive): 1 mentions; 1 submissions, 0 comments2022-01-01 00:00:00 UTC to 2023-01-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2023-01-01 00:00:00 UTC to 2024-01-01 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 comments2023

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges
UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
PeriodStart (UTC)End (exclusive, UTC)MentionsSubmissionsComments
20182018-01-01 00:00:00 UTC2019-01-01 00:00:00 UTC413
20192019-01-01 00:00:00 UTC2020-01-01 00:00:00 UTC202
20202020-01-01 00:00:00 UTC2021-01-01 00:00:00 UTC101
20212021-01-01 00:00:00 UTC2022-01-01 00:00:00 UTC110
20222022-01-01 00:00:00 UTC2023-01-01 00:00:00 UTC000
20232023-01-01 00:00:00 UTC2024-01-01 00:00:00 UTC101

What Hacker News says

9 sources
xvilka·Apr 19, 2023
There's a nice book[1][2] about Prolog, with modern characteristics. Moreover, there are things like ProbLog[3] and DeepProbLog[4] that allow you to use probabilistic reasoning and power of machine learning. I am personally looking forward for Scryer Prolog[5] to achieve its goals. [1] https://www.metalevel.at/prolog [2] https://github.com/triska/the-power-of-prolog [3] https://github.com/ML-KULeuven/problog [4] https://github.com/ML-KULeuven/deepproblog [5] https://github.com/mthom/scryer-prolog
In Why did Prolog lose steam? (2010)
triska·Apr 8, 2020
Thank 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 changes since the last discussion in a public git repository: https://github.com/triska/the-power-of-prolog/compare/8a94ed... Currently, I am working on several videos that will eventually form the core of the book. Here are a few previews: https://www.metalevel.at/prolog/videos/logic https://www.metalevel.at/prolog/videos/timetabling https://www.metalevel.at/prolog/videos/sparrows_on_eagles These videos are all work in progres
Read the rest
s, and they may be replaced by better versions at any time. Hence, if possible, please use the links above to refer to them: They will always point to the latest versions. Alternatively, please use the following overview page that shows all videos: https://www.metalevel.at/prolog/videos/ Also, I have published a comprehensive journal paper about my CLP(B) system, i.e., a SAT solver with some nice algebraic properties, seamlessly integrated into Prolog as a specialized form of unification: https://www.metalevel.at/boolean.pdf For Prolog application programmers and system implementors, the paper's appendices may be especially interesting. They formalize a few important concepts that are also a major theme in the book. As of October 2019, the CLP(B) system is also available in Mark Thom's Scryer Prolog. Scryer is a Rust-based Prolog implementation that is freely available, conforms to the Prolog ISO standard, represents strings efficiently as lists of characters, and includes important features for implementing Prolog-based constraint solvers: https://github.com/mthom/scryer-prolog As of a few days ago, Scryer Prolog also ships with my implementation of CLP(ℤ), Constraint Logic Programming over integers. This is a very useful declarative paradigm for solving combinatorial tasks, in some ways superior to SAT solving because it allows more convenient modeling, easier experimentation with different formulations, and reasoning at a higher conceptual level. The chapter on declarative integer arithmetic contains more information, and further pointers: https://www.metalevel.at/prolog/clpz For illustration, here is an example page where you can solve timetabling instances with this approach: https://www.metalevel.at/prolog/timetabling/ I welcome all comments and suggestions about the book, these videos, and Prolog in general. Also, I would like to take this opportunity to thank all readers for your thoughtful comments and endorsements. Your feedback and encouragement are making this work especially worthwhile. Enjoy!
In The Power of Prolog
xvilka·Aug 25, 2019
Two more very good Prolog books: The Power of Prolog[1] and Simply Logical: Intelligent Reasoning by Example[2]. I also recommend visiting the Awesome Prolog list[3]. There is also a very interesting extension of the Prolog - Probabilistic Prolog, aka ProbLog[4]. And modern ISO-compatible implementation in Rust language - Scryer Prolog[5]. [1] https://github.com/triska/the-power-of-prolog/ [2] https://book.simply-logical.space/ [3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog
In Adventure in Prolog Tutorial (2016)
triska·May 21, 2018
Thank 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 Engineering Aspects: https://www.metalevel.at/prolog/engineering Artificial Intelligence with Prolog: https://www.metalevel.at/prolog/ai I have also made many improvements and additions to the other chapters. Also, I have made almost everything available in a public git repository so that you can track the book's progress and view it offline: https://github.com/triska/the-power-of-prolog It is my sincere hope that you find this ma
Read the rest
terial useful, and I welcome all suggestions and comments. Also, thank you very much to all readers for the extremely constructive feedback that I have received in the past year. Your comments have made this work especially worthwhile. Enjoy!
In The Power of Prolog

MAKE YOURSELF AT HOME

A few shortcuts

/
Search the collection
?
Open this guide
Esc
Close dialogs and navigation

Your saved repositories and interests stay in this browser.