Theme 1 – enthusiasm forapplying Prolog to domains such as Pokémon and “Law‑as‑Code” fact graphs - “Was initially nonplussed, but toward the end I realized the choice of pokemon for an example actually works out well for showing how prologue can solve problems. I’m now a bit curious about trying it out somewhere.” — Modified3019
- “Are there pokémon with backtracking and unification traits? Those could do real Prolog!” — zombot
Theme 2 – comparative view of Prolog vs. Datalog (expressiveness, semantics, practical use)
- “All examples shown in the article can be ran with Datalog too (with stratified negation and arithmetic comparison), which has a clearer execution model and looks almost identical to Prolog.” — gobdovan
- “Importantly, Datalog is not Turing‑complete though.” — ModernMech
- “Exactly :) It is terminating due to the LFP semantics I was pointing out, it’s more akin to SQL than to Prolog.” — gobdovan
Theme 3 – reflections on learning Prolog and the need for accessible tutorials
- “That's very helpful & easy to follow.” — SilentM68
- “Same!” — sevenseacat - “When i was in uni, the course teaching Prolog and Lisp was called ‘Artificial Intelligence for Engineers’.” — lagrange77