Hackernews posts about Prolog

Prolog is a logic-based programming language that uses Horn clauses to represent knowledge and reason about it using deduction.

1. A Hitchhiker's Guide to Reinventing a Prolog Machine (drops.dagstuhl.de)
   5 points by RebelPotato 22 days ago | discuss
2. Prolog knowledge base over HTTP/JSON API, with an OpenAPI description (github.com)
   4 points by triska 8 days ago | discuss
3. Eyeprolog: Turning Prolog programs into answers and inspectable proofs (github.com)
   4 points by simonpure 14 days ago | discuss
4. ProLogium begins mass production of solid-state battery at 381 Wh/kg (finance.yahoo.com)
   3 points by akamaka 4 days ago | discuss
5. ELPI – Embeddable Lambda Prolog Interpreter (github.com)
   3 points by TheWiggles 18 days ago | discuss
6. Regular Expression Engine for Scryer Prolog and ISO Prolog Systems (github.com)
   3 points by triska 24 days ago | discuss
7. Show HN: Aethel-Core – Ultra-Lightweight Neuro-Symbolic WAF Built in SWI-Prolog (github.com)
   2 points by lokinpendawa 10 days ago | discuss
8. DeepClause meets pi: controlling pi with Prolog and vice versa (deepclause.substack.com)
   2 points by schmuhblaster 27 days ago | discuss
9. State investigation requested following prolonged northwest Indiana outages (www.wave3.com)
   3 points by newsomix9xl 23 days ago | 1 comments
10. Show HN: Build2me – Prove2Me for software agent swarms build code (github.com)
    1 points by shitianfang 2 days ago | discuss
11. Use Prolog to improve LLM's reasoning (shchegrikovich.substack.com)
    379 points by shchegrikovich almost 2 years ago | 155 comments
12. Learn Prolog Now (2006) (lpn.swi-prolog.org)
    326 points by rramadass 10 months ago | 242 comments
13. Game Programming in Prolog (thingspool.net)
    283 points by febin almost 2 years ago | 62 comments
14. Prolog Basics Explained with Pokémon (unplannedobsolescence.com)
    283 points by birdculture 4 months ago | 59 comments
15. Plwm – An X11 window manager written in Prolog (github.com)
    225 points by jedeusus over 1 year ago | 69 comments
16. The Simplicity of Prolog (bitsandtheorems.com)
    202 points by thunderbong over 1 year ago | 128 comments
17. Prolog Coding Horror (www.metalevel.at)
    202 points by RohanAdwankar 4 months ago | 83 comments
18. C Plus Prolog (github.com)
    177 points by mpweiher over 1 year ago | 53 comments
19. Prolog Adventure Game (github.com)
    166 points by shakna over 1 year ago | 26 comments
20. My Gripes with Prolog (buttondown.com)
    155 points by azhenley 8 months ago | 102 comments
21. Compiling Prolog to Forth [pdf] (vfxforth.com)
    128 points by PaulHoule 7 months ago | 10 comments
22. The Birth of Prolog (1996) (dl.acm.org)
    122 points by Jtsummers 2 months ago | 19 comments
23. Solving a “Layton Puzzle” with Prolog (buttondown.com)
    110 points by Tomte over 1 year ago | 28 comments
24. Kb – Prolog Knowledge Base (github.com)
    109 points by triska 3 months ago | 18 comments
25. Prolog's Eternal September (2017) (storytotell.org)
    87 points by Tomte over 1 year ago | 90 comments
26. Dogalog: A realtime Prolog-based livecoding music environment (github.com)
    82 points by triska 9 months ago | 21 comments
27. Extending C with Prolog (1994) (www.amzi.com)
    72 points by Antibabelic 7 months ago | 26 comments
28. How to Average in Prolog (2017) (storytotell.org)
    72 points by todsacerdoti over 1 year ago | 23 comments
29. Developing a Go bot embedding Ichiban Prolog (rogersm.net)
    69 points by triska almost 2 years ago | 6 comments
30. Sula: A Gemini protocol server written in Scryer Prolog (sagredo.dev)
    60 points by triska about 1 month ago | 8 comments
31. Show HN: Vibe Prolog (github.com)
    44 points by nl 10 months ago | 15 comments
32. Native compilation of Prolog predicates with Cranelift [pdf] (files.adrianistan.eu)
    43 points by aarroyoc almost 2 years ago | 5 comments
33. Rubik's Cube in Prolog – Order (medium.com)
    41 points by myth_drannon 8 months ago | 14 comments
34. Scryer Prolog Meetup 2025 (hsd-pbsa.de)
    41 points by aarroyoc about 1 year ago | 1 comments
35. Forth VM and compiler written in C++ and Scryer Prolog (github.com)
    37 points by triska 6 months ago | discuss
36. The British Nationality Act as a Prolog Program (1986) [pdf] (www.doc.ic.ac.uk)
    35 points by Tomte over 1 year ago | 17 comments
37. SWI-Prolog 10.0.0 Released (swi-prolog.discourse.group)
    34 points by todsacerdoti 10 months ago | 3 comments
38. Prolog planner generation prompting guide (quantumprolog.sgml.net)
    33 points by tannhaeuser over 1 year ago | 1 comments
39. PProlog: A Prolog for Plan 9 (prolog.pmikkelsen.com)
    18 points by triska about 1 year ago | 3 comments
40. Scryer Prolog NPM package (experimental) (github.com)
    14 points by triska over 1 year ago | 3 comments