plwm

Here's a nicely-designed tiling window manager, implemented in SWI-Prolog: https://github.com/Seeker04/plwm It actually has quite good UX affordances. More than that, however, I find the code imminently hackable, even as someone with very little Prolog experience. Reading through the plwm code really demystified the apparent gap between toy and practical Prolog for me. Heck, even the SWI-Prolog codbase itself is quite approachable! I'm also mildly surprised at some of OG's gripes. A while back, I ran through Triska's The Power of Prolog[0], which crisply grounds Prolog's mental model and introduces standard conventions. In particular, it covers desugaring syntax into normal predicates, e.g. -/2 as pairs, [,]/2 as special syntax for ./2 cons cells, etc. Apparently, I just serendipitously stumbled into good pedagogical resources! I'd be int

https://github.com/Seeker04/plwm This window manager implemented in Prolog popped up here recently. It's really cool! I jumped to it as a new daily driver in the hope that I'd learn some Prolog, and it's been quite the success, actually. The developer is really nice, and he's generously helped me with some basic questions and small PRs. Definitely recommended. I have a Guix package for it if anyone's interested. Any reading recommendations for high quality logic programming codebases?