{"slug": "clingo", "name": "Clingo", "category": "other", "category_name": "Other software", "description": "", "recommenders": 3, "commenters": 5, "warners": 0, "score": 2.995, "rising": -0.98, "first": "2025-11-04", "latest": "2026-03-09", "why": "We use it in the Spack package manager for resolving dependencies", "why_is_quote": true, "has_verdict": false, "sentiment": {"recommend": 3, "neutral": 2, "compare": 0, "warn": 0}, "spark": [0, 0, 2, 0, 1, 0, 0, 0, 0, 0, 0, 0], "listed": true, "loved": [], "caveat": "", "short_quote": "We use it in the Spack package manager for resolving dependencies", "kind": "", "icon": true, "domain": "potassco.org", "github_repo": null, "official_url": "https://potassco.org/clingo/", "pricing": "", "aliases": ["Clingo", "clingo"], "verdict": null, "praise": [{"label": "", "summary": "", "quotes": [{"id": 757048352, "item_id": 47315522, "url": "https://news.ycombinator.com/item?id=47315522", "by": "porphyra", "date": "2026-03-09", "version": null, "stance": "recommend", "quote": "Clingo [0] which is pretty popular", "excerpt": "Yeah, you can also use Clingo [0] which is pretty popular and people have tried it specifically with WFC content generation [1]. You can even run it in the browser easily [2]. [0] https://potassco.org/clingo/ [1] https://adamsmith.as/papers/tog-wfc.pdf [2] https://potassco.org/clingo/run/", "context": "", "use_case": "Constraint solving for map generation", "switched_from": "", "story": "Building a Procedural Hex Map with Wave Function Collapse"}, {"id": 744253728, "item_id": 46515858, "url": "https://news.ycombinator.com/item?id=46515858", "by": "tgamblin", "date": "2026-01-06", "version": null, "stance": "recommend", "quote": "The Potassco folks are doing amazing work maintaining these tools.", "excerpt": "The more recent Lifschitz book is the easiest to learn from IMO: - https://www.cs.utexas.edu/~vl/teaching/378/ASP.pdf It starts with basics of using ASP and gives examples in clingo, not math. The Potassco book is more comprehensive and will help you understand better what is going on: - https://potassco.org/book/ Things I don't like include that it's more dense, doesn't use clingo examples (mostly math-style example", "context": "", "use_case": "Answer set programming solver", "switched_from": "", "story": "enclose.horse"}, {"id": 744172592, "item_id": 46510787, "url": "https://news.ycombinator.com/item?id=46510787", "by": "stabbles", "date": "2026-01-06", "version": null, "stance": "recommend", "quote": "We use it in the Spack package manager for resolving dependencies", "excerpt": "Nice, you don't see clingo mentioned often. We use it in the Spack package manager for resolving dependencies [1] [1] https://github.com/spack/spack/blob/develop/lib/spack/spack/solver/concretize.lp", "context": "Spack developer", "use_case": "dependency resolution", "switched_from": "", "story": "enclose.horse"}]}], "caveats": [], "who": [{"by": "stabbles", "context": "Spack developer", "url": "https://news.ycombinator.com/item?id=46510787", "date": "2026-01-06"}], "tags": [], "use_cases": ["constraint solving for map generation", "answer set programming solver", "dependency resolution"], "compared": [{"slug": "datomic", "name": "Datomic", "co": 2, "switched_from": 0, "switched_to": 0}], "makers": [], "threads": [{"url": "https://news.ycombinator.com/item?id=46509211", "title": "enclose.horse", "mentions": 2}, {"url": "https://news.ycombinator.com/item?id=45811447", "title": "Optimizing Datalog for the GPU", "mentions": 2}, {"url": "https://news.ycombinator.com/item?id=47311815", "title": "Building a Procedural Hex Map with Wave Function Collapse", "mentions": 1}], "sentiment_by_month": {"2025-11": {"neutral": 2}, "2025-12": {}, "2026-01": {"recommend": 2}, "2026-02": {}, "2026-03": {"recommend": 1}, "2026-04": {}, "2026-05": {}, "2026-06": {}, "2026-07": {}, "2026-08": {}, "2026-09": {}, "2026-10": {}}, "versions": [], "version_unnamed": 0, "family_ref": null, "runs_on": null, "lines": [], "quotes": [{"id": 757048352, "item_id": 47315522, "url": "https://news.ycombinator.com/item?id=47315522", "by": "porphyra", "date": "2026-03-09", "version": null, "stance": "recommend", "quote": "Clingo [0] which is pretty popular", "excerpt": "Yeah, you can also use Clingo [0] which is pretty popular and people have tried it specifically with WFC content generation [1]. You can even run it in the browser easily [2]. [0] https://potassco.org/clingo/ [1] https://adamsmith.as/papers/tog-wfc.pdf [2] https://potassco.org/clingo/run/", "context": "", "use_case": "Constraint solving for map generation", "switched_from": "", "story": "Building a Procedural Hex Map with Wave Function Collapse"}, {"id": 744253728, "item_id": 46515858, "url": "https://news.ycombinator.com/item?id=46515858", "by": "tgamblin", "date": "2026-01-06", "version": null, "stance": "recommend", "quote": "The Potassco folks are doing amazing work maintaining these tools.", "excerpt": "The more recent Lifschitz book is the easiest to learn from IMO: - https://www.cs.utexas.edu/~vl/teaching/378/ASP.pdf It starts with basics of using ASP and gives examples in clingo, not math. The Potassco book is more comprehensive and will help you understand better what is going on: - https://potassco.org/book/ Things I don't like include that it's more dense, doesn't use clingo examples (mostly math-style example", "context": "", "use_case": "Answer set programming solver", "switched_from": "", "story": "enclose.horse"}, {"id": 744172592, "item_id": 46510787, "url": "https://news.ycombinator.com/item?id=46510787", "by": "stabbles", "date": "2026-01-06", "version": null, "stance": "recommend", "quote": "We use it in the Spack package manager for resolving dependencies", "excerpt": "Nice, you don't see clingo mentioned often. We use it in the Spack package manager for resolving dependencies [1] [1] https://github.com/spack/spack/blob/develop/lib/spack/spack/solver/concretize.lp", "context": "Spack developer", "use_case": "dependency resolution", "switched_from": "", "story": "enclose.horse"}, {"id": 733103765, "item_id": 45818985, "url": "https://news.ycombinator.com/item?id=45818985", "by": "arxanas", "date": "2025-11-04", "version": null, "stance": "neutral", "quote": "", "excerpt": "Just gave a talk about this: https://blog.waleedkhan.name/what-if-sql-were-good/ - Recommend Ascent (Rust only, but supports targeting WASM) - Souffl\u00e9: good, but too hard to integrate into existing systems; lots of ergonomic problems in comparison to Ascent (can elaborate) - CozoDB: really cool but seems to be abandoned - Logica: have not tried it yet", "context": "", "use_case": "", "switched_from": "", "story": "Optimizing Datalog for the GPU"}, {"id": 733000161, "item_id": 45812510, "url": "https://news.ycombinator.com/item?id=45812510", "by": "haolez", "date": "2025-11-04", "version": null, "stance": "neutral", "quote": "I've also been playing with Clingo[1] lately.", "excerpt": "On a side note, what tools that leverage Datalog are in use by the HN crowd? I know that Datomic[0] is very popular. I've also been playing with Clingo[1] lately. [0] https://www.datomic.com/ [1] https://potassco.org/clingo/", "context": "", "use_case": "", "switched_from": "", "story": "Optimizing Datalog for the GPU"}]}