frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Ask HN: Why is Prolog not gaining traction?

5•0x07ca•2h ago
I sometimes enjoy programming in Prolog, although I see that it is not a very popular programming language, despite being invented many years ago. Why is it so?

Personally, I think that these are the three main problems with the current ecosystem: i) there are too many implementations, some more advanced and well-maintained, so it is not clear where to start. Furthermore, these implementations often differ in the syntax, so it is not always possible to directly port a Prolog program developed with one system into another system. ii) there are few libraries and they are not compatible among the different systems, so one often has to reimplement everything from scratch. iii) debugging programs is painful and locating an error is very difficult and time consuming

Comments

jjgreen•2h ago
Some years ago I had a job coding Prolog (SICStus), a load of fun, but you're right, a rare thing to find. I'd guess the reason is that Prolog is good for small hard problems (I was working on Presburger arithmetic which is known triple-exponential time) but most practical problems are easy but big.
tannhaeuser•1h ago
Prolog does well in the areas where it's uniquely suited: planning, scheduling, optimisation, financial investment allocation, and other constraint-solving problems; at some point the SICStus home page claimed the logistics industry and railway basically run off Prolog.

For general-purpose programming and integration task adjacent to a Prolog planner core there are many alternatives with larger mind share even most Prolog developers will recommend over Prolog, though there's nothing wrong with using Prolog as a web template engine with pattern matching much like XSLT on steroids I guess.

The ISO standardisation of Prolog is a big plus because it let's you jump into Prolog with the comfort of an ecosystem, vendor-independence, and alternatives, in contrast to where you must commit upfront to a nebulous optimisation software package without knowing if it's a good fit for your task. Especially because realistic, large problems require a time commitment, exploration, experimentation, and iterative development.

Prolog has historically also been used for NLP, and has very convenient DSL and parser facilities built into the core. So compilers and other rule-based translators is also something Prolog excels at. There are a couple quite successful approaches combining LLMs and ML with Prolog, think probabilistics and/or neurolinguistics approaches (see recent discussion at [1]), but also just generating Prolog code using LLMs for problems where a satisfying problem description is available, or would be easier to create than encoding the problem in Prolog in the first place due to Prolog's declarative nature) ([2], also discussed in [1|).

[1]: https://news.ycombinator.com/item?id=44926414

[2]: https://news.ycombinator.com/item?id=43558622

OpenBlock secures #2 on Terminal Bench with frontier agent OB-1

https://www.openblocklabs.com/research/terminal-bench
1•koakuma-chan•3m ago•0 comments

Show HN: Happiness Mantra – A 33-page guide to lasting joy

https://bookbitehub.gumroad.com/l/HappinessMantra
1•Sakou•3m ago•0 comments

Show HN: Startup Compensation Calculator

https://foundersarehiring.com/startup-compensation-calculator
1•niksmac•4m ago•0 comments

Stoic Surgeon

https://stoicsurgeon.github.io/
1•lr0•4m ago•0 comments

Top Non-Technical Roles Every Startup Needs to Scale Successfully

https://foundersarehiring.com/hiring-resources/top-7-non-technical-roles-every-startup-needs-to-scale-successfully
1•niksmac•4m ago•0 comments

Federal data website outage raises concerns among advocates

https://apnews.com/article/census-bureau-data-statistic-omb-2cd07f050161bb33c7ee3f4ddadd18db
1•petethomas•6m ago•0 comments

FoundersAreHiring Empowers Female Founders and Top Talent

https://foundersarehiring.com/how-foundersarehiring-empowers-female-founders-and-top-talent
1•niksmac•8m ago•0 comments

MCP-Universe

https://mcp-universe.github.io/
1•plurby•14m ago•0 comments

AI-powered Reddit marketing for indie founders

https://simplemarketing.tech
2•Georgii007•15m ago•2 comments

AI Technical Product Manager – Venture Studio – Internal (New York)

https://apply.deshaw.com/ValidateUrl.html?url=Ads/YComb/AITechPMAug25&entity=DESCO
1•deshaw•18m ago•0 comments

Most Turbulent Flight Routes of 2024

https://turbli.com/historical-data/most-turbulent-flight-routes-of-2024/
1•NKosmatos•19m ago•0 comments

How to Vaccinate the World

https://asteriskmag.com/issues/11/how-to-vaccinate-the-world
1•Brajeshwar•20m ago•0 comments

The Great French Fry Mystery

https://longreads.com/2025/08/21/the-great-french-fry-mystery/
1•Brajeshwar•22m ago•0 comments

Solar panels in space 'could provide 80% of Europe's renewable energy by 2050'

https://www.theguardian.com/environment/2025/aug/21/solar-panels-in-space-could-provide-80-of-europes-renewable-energy-by-2050
1•Brajeshwar•22m ago•1 comments

Why Is Japan So Weak in Software? [video]

https://www.youtube.com/watch?v=ky1nGQhHTso
1•rbanffy•28m ago•0 comments

Jim Sanborn – Auction of Solution to the CIA's Kryptos K4 Artwork

https://www.rrauction.com/jim-sanborn-kryptos-k4-solution-auction/
2•decimalenough•28m ago•0 comments

The Creator's Oath: A Manifesto for Principled Software Builders

https://creatorsoath.org/
1•andreasflakstad•29m ago•1 comments

AI Coding: The Ten Commandments That (Sort of) Keep Me Sane

https://substack.com/inbox/post/171636377
2•aarkaay•29m ago•0 comments

Universal Tool Calling Protocol (UTCP)

https://github.com/universal-tool-calling-protocol
1•plurby•30m ago•0 comments

'Flying Blind': Trump Strips Government of Expertise at a High-Stakes Moment

https://www.nytimes.com/2025/08/21/us/politics/trump-government-expertise.html
2•Anon84•33m ago•0 comments

Bitrig: iOS Native Vibe Coding?

https://www.bitrig.app
2•zahirbmirza•33m ago•2 comments

Ask HN: Are AI generated stuffs intentionally bad?

1•revskill•33m ago•1 comments

Learning Kubernetes Security, Second Edition, Live

https://www.packtpub.com/en-us/product/learning-kubernetes-security-9781835886397
1•bernardoortega•35m ago•0 comments

Ask HN: Are SSH keys with passphrases considered 2FA?

1•h43z•36m ago•0 comments

APT Down: The North Korea Files (Phrack)

https://phrack.org/issues/72/7_md#article
1•rdl•37m ago•0 comments

Ask HN: Is 'Wheel of Fortune' a workable analogy for how LLMs work?

1•tycho-newman•38m ago•0 comments

US to Take Part in Russia's Eurovision, Joining Belarus, Cuba and Venezuela

https://www.politico.eu/article/us-taking-part-russia-eurovision-brandon-howard-intervision/
3•saubeidl•38m ago•1 comments

Fmllm: 4mb training data, 100mb model, Fibonacci embeddings, near-coherent. WTF?

https://github.com/henrygabriels/FMLLM/blob/main/README.md
10•gabriel666smith•38m ago•1 comments

Peer reviewers more likely to approve articles that cite their own work

https://www.nature.com/articles/d41586-025-02547-1
1•isaacfrond•43m ago•0 comments

GPVE: GNU Virtual Private Ethernet

https://software.schmorp.de/pkg/gvpe.html
1•sunshine-o•47m ago•0 comments