Hi,

Thought I'd share my pet project with you guys. It's plwm, an X11 tiling window manager written in SWI-Prolog (similar to dwm, but with more features by default).

Only the libX11 bindings are in C, every other part is written in Prolog.

It's not the most fitting domain for logic programming. It even uses some global variables which is kind of an anti-pattern here. However, I find it really cool that something starting as a weird proof of concept turned out to be a usable solution I've been daily driving for more than a year.

It's not yet the first stable release, but it's getting close and is in active development.

Have a look and feel free to give feedback:)

Hi all! I really enjoy Prolog and declarative programming ever since discovering them ~six months ago. I hope to share my first standalone project, a dynamic blog engine written in pure Prolog. It has zero dependencies, and has a parser for Markdown into HTML written in prolog, served over HTTP.

https://github.com/cryptoque/prolog-blog-engine
The live site here: https://blauanarchy.org/

I also have a collection of logic puzzles solve by me in Prolog here:
https://github.com/cryptoque/awesome-prolog-puzzles

The subject says it all -- I haven't touched it since the 80s when I had Turbo Prolog. My grandson really wants to get into AI (he's 16), and I'm trying to teach him the basics to show that it's more than just typing into ChatGPT. To me, Prolog seems like a good starting point for logic programming.

But what is the open source variant that we use today -- I know about Linux and SWI-Prolog, but is there something a bit more visual -- he's a Windows kid so unless I can do graphics and sounds it will be "Oh that's old...." Also, is there something that can use an IDE like VSCode for him -- there's no way I can enlist him in the Emacs/Vim holy war.

I imagined a very (and I mean very) simple football/basketball predictive program -- nothing I'd ever dare use in real life. You'd assert players and their attributes like the sport they play, their age, their total scores, and just keep asserting data over time (like a month) and then, for a given sport, predict who is likely to perform best. Sure, I could just throw together a C program to do it, but he'll like the idea of "I've fed it a bunch of facts and now I can ask it questions!"

For example, I know this will sound absolutely insane, but has anyone embedded Prolog into Julia -- I know Julia can do amazing things and it has a free IDE, so if I can add Prolog to it, let the fun begin!

Extracted from this thread (small/medium/large is code size)

• Vue integration with Prolog - medium

• Graph database - large

• Triple store - large

• JWT support for Prolog - small

• Semantic web search engine - large

• Random assortment of utility libs - medium

• pluggable facade to planners - small

• The constitution of Japan - large (Japanese)

• WordNet distributed as a Prolog version - large

• refactor tool for Prolog - medium

• Java parser - medium

• Jupyter notebook like thing for SWI-Prolog - large

• interface to 433.92MHz transceiver - small

• IRC bot - medium

• Some bioinformatics solutions from a bioinformatics jam - small

During the pandemic, I decided to teach myself prolog and created a few applications for personal use. I hadn't really found a place to use it at work until recently when a colleague and I were discussing an application that did a guided Q&A. As the only interesting part of the application is the data model, I thought I'd explore the user experience using prolog. I had a few observations:

• It's a fantastic way to model a simple relational database.

• Between 90 LoC for facts and logic, I was able to create a small interactive application that was easily modified to try out different workflows (I should write the same thing in python with its built-in sqlite module).

• Prolog's facts are nicer than editing yaml (particularly for multi-line entries). Likewise, consult is better than whatever yaml parser's available. If I had cared about validation, they would've been massively nicer than yaml to validate.

• Since I was doing a toy application to learn how the feature should work, I did several refactors along the way. This was mostly unpleasant as types/arities changed and I couldn't easily figure out what else needed to change.

• I didn't bother showing the application code to anyone else because, well, it'd waste my time and theirs. OTOH, people could understand the facts that represented the data/relationships.

TLDR; prolog's terrific for prototyping an application that fits a relational model, editing facts is easy and prolog's a solitary language.

Hello everyone.

The distributed parallel Prolog machine, built using a Raspberry Pi cluster as I had long planned, is now up and running. From here on, I would like to explore and verify its potential.　Launch of the Prolog Cluster Machine | by Kenichi Sasagawa | Aug, 2025 | Medium

Hi everyone!

As you know, Prolog books are pretty rare these days, and I’ve often felt a bit lonely about that.
So I decided to create one myself — a collection of logic experiments, playful ideas, and various explorations I've done with Prolog.

It's not a textbook — quite the opposite. This ebook is full of fun and curiosity, covering topics like biology, quantum computing, and cryptography — all using Prolog.

It's available now on Amazon for $3.49. If you're curious, feel free to take a look at the sample pages!

👉 https://www.amazon.com/dp/B0FJ6TNJY3

I'd love to hear your feedback — and I hope it brings you some Prolog joy.

I’ve recently been exploring Prolog and logic programming, and I’m intrigued by its potential in AI and ontology development. While I understand that Prolog excels in handling complex logic and rule-based systems, I’m curious about its practical value in the rapidly evolving AI landscape, especially with the rise of technologies like large language models (LLMs). Specifically, I’d like to know what role Prolog currently plays in areas such as knowledge graphs, expert systems, and logical reasoning, and how it integrates with modern technologies like RDF, OWL, and others.

I look forward to hearing insights from experts—thank you!

https://www.youtube.com/@prologbyexample/featured

Looks like this guy wants to compete with Markus Triska!

also the blog: https://prologbyexample.blogspot.com/