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. Prolog-rs: Minimal Prolog implemented in Rust (github.com)
   12 points by PaulHoule 5 days ago | 2 comments
2. Closed Knight's Tour in Prolog (www.metalevel.at)
   3 points by todsacerdoti about 22 hours ago | discuss
3. Prolog-rs: Minimal Prolog implemented in Rust (github.com)
   3 points by todsacerdoti 11 days ago | discuss
4. Using SWI-Prolog in the Browser (WASM) (www.swi-prolog.org)
   3 points by YeGoblynQueenne 17 days ago | discuss
5. What is the role of Prolog in AI in 2024? (old.reddit.com)
   2 points by triska 6 days ago | 1 comments
6. A Bicycle for the Mind – Prologue (technicshistory.com)
   1 points by kryptiskt 10 days ago | discuss
7. A Bicycle for the Mind – Prologue (technicshistory.com)
   1 points by cfmcdonald 11 days ago | discuss
8. A simple code-helper/writer for Pocketbase
   3 points by limenleap 23 days ago | discuss
9. Help Finding LLM and Proof Based Refactoring Reference
   1 points by AwfulConstraint 16 days ago | discuss
10. Black Mirror: is deep thinking on the decline? (www.rabrain.com)
    2 points by jdeng 24 days ago | 5 comments
11. From a Python function to a relation (a short personal essay) (github.com)
    1 points by triska 20 days ago | discuss
12. Predibag: Predicate-Based Agents for AI (github.com)
    1 points by todsacerdoti 20 days ago | discuss
13. Ask HN: Am I the only one who gets temple pain during prolonged calls?
    11 points by FirstTimePostin 12 days ago | 15 comments
14. Show HN: iFixit created a new USB-C, repairable soldering system (hackaday.com)
    927 points by kwiens 7 days ago | 404 comments
15. Tell HN: DanBC has died
    472 points by in_memoriam 4 days ago | 77 comments
16. My Headphones Broke into a Megaphone
    5 points by high_byte 26 days ago | 2 comments
17. Ask HN: Do AI coding tools make you a worse programmer?
    4 points by dennisy 13 days ago | 4 comments
18. Performance-driven development: methodology for building systems powered by LLMs (github.com)
    1 points by gk1 16 days ago | discuss
19. Urologist Adam Weiner, runner Usain Bolt: can a last name determine your job? (www.theguardian.com)
    3 points by fallinditch 2 days ago | 5 comments
20. Ask HN: What's Prolog like in 2024?
    427 points by overclock351 2 months ago | 276 comments
21. The Power of Prolog (www.metalevel.at)
    306 points by _benj about 1 year ago | 127 comments
22. Tar.pl – A tar creator and extractor in ~130 lines of Prolog (github.com)
    271 points by superdisk over 1 year ago | 85 comments
23. Prolog language for PostgreSQL proof of concept (github.com)
    214 points by triska 6 months ago | 77 comments
24. Prolog for data science (emiruz.com)
    190 points by usgroup over 1 year ago | 55 comments
25. An online IDE for visual programming in Prolog (github.com)
    167 points by triska over 1 year ago | 18 comments
26. Prolog at Work (old.reddit.com)
    163 points by triska over 1 year ago | 104 comments
27. Using Prolog as the AST (marcellerusu.com)
    156 points by mpweiher 11 months ago | 65 comments
28. Why did Prolog lose steam? (2010) (www.kmjn.org)
    152 points by yeesian over 1 year ago | 176 comments
29. Solving a Dungeons and Dragons riddle using Prolog (gist.github.com)
    127 points by _xgw over 1 year ago | 28 comments
30. PHP: Prolog Home Page (php.energy)
    126 points by zichy over 1 year ago | 32 comments
31. Coding Guidelines for Prolog (2011) (arxiv.org)
    126 points by tosh 12 months ago | 14 comments
32. Using Prolog in Windows NT Network Configuration (1996) (web.archive.org)
    121 points by zdw about 1 year ago | 26 comments
33. Scryer Prolog (www.scryer.pl)
    109 points by aarroyoc over 1 year ago | 33 comments
34. The Janus System: Multi-Paradigm Programming in Prolog and Python (arxiv.org)
    85 points by woolion about 1 year ago | 11 comments
35. Programming Language choices: Pascal, LOGO, Forth, Prolog, C (1986) [video] (clp.bbcrewind.co.uk)
    80 points by hazelnut-tree about 1 year ago | 34 comments
36. 50 Years of Prolog: Becoming More Declarative [video] (www.youtube.com)
    76 points by agumonkey 7 months ago | 4 comments
37. Prolog and Natural-Language Analysis (1987) [pdf] (www.mtome.com)
    74 points by Tomte 4 months ago | 16 comments
38. Differences Between miniKanren and Prolog (minikanren.org)
    63 points by tosh 8 months ago | 29 comments
39. Trealla Prolog: Compact and efficient Prolog interpreter (trealla-prolog.github.io)
    48 points by xelxebar 3 months ago | 8 comments
40. Turing Machine in Prolog (2017) (www.metalevel.at)
    42 points by raldu almost 2 years ago | discuss
41. Rethinking Prolog (www.academia.edu)
    37 points by Zuider over 1 year ago | 16 comments
42. (Logic) Prolog, Erlang, Elixir a side-by-side reference sheet (hyperpolyglot.org)
    37 points by weatherlight 4 months ago | 10 comments
43. Prolog Formulation of the Constitution of Japan (github.com)
    16 points by yu3zhou4 2 months ago | 2 comments
44. Honda's first US-market EV is here–the 2024 Prologue, driven (arstechnica.com)
    15 points by PaulHoule 7 months ago | 28 comments
45. The Prolog Day Symposium – November 10, 2022 – Slides and videos are now up (logicprogramming.org)
    14 points by agumonkey almost 2 years ago | 1 comments
46. Fifty Years of Prolog and Beyond (www.cambridge.org)
    12 points by mindcrime almost 2 years ago | discuss
47. A Prolog assisted search for new simple Lie algebras (arxiv.org)
    8 points by triska over 1 year ago | 2 comments
48. Djota: A Djot Implementation in Prolog (github.com)
    8 points by triska over 1 year ago | 2 comments
49. The Art of Prolog, Second Edition (mitpress.mit.edu)
    7 points by nioj over 1 year ago | 1 comments