Hackernews posts about Prolog
Prolog is a logic-based programming language that uses Horn clauses to represent knowledge and reason about it using deduction.
- Native compilation of Prolog predicates with Cranelift [pdf] (files.adrianistan.eu)
- A Bicycle for the Mind – Prologue (technicshistory.com)
- Show HN: I made a demo of my Prolog-successor. Try it please (demo.memelang.net)
- Constrained Traversal in Prolog (blog.monotonic.tech)
- Pedro – A [Prolog] subscription/notification communications system (staff.itee.uq.edu.au)
- Prolog Data Structures (blog.dnmfarrell.com)
- Use Prolog to improve LLM's reasoning (shchegrikovich.substack.com)
- The Power of Prolog (www.metalevel.at)
- Game Programming in Prolog (thingspool.net)
- Prolog language for PostgreSQL proof of concept (github.com)
- Prolog for data science (emiruz.com)
- An online IDE for visual programming in Prolog (github.com)
- Prolog at Work (old.reddit.com)
- Using Prolog as the AST (marcellerusu.com)
- Why did Prolog lose steam? (2010) (www.kmjn.org)
- Solving a Dungeons and Dragons riddle using Prolog (gist.github.com)
- PHP: Prolog Home Page (php.energy)
- Coding Guidelines for Prolog (2011) (arxiv.org)
- Using Prolog in Windows NT Network Configuration (1996) (web.archive.org)
- Scryer Prolog (www.scryer.pl)
- Programming Language choices: Pascal, LOGO, Forth, Prolog, C (1986) [video] (clp.bbcrewind.co.uk)
- 50 Years of Prolog: Becoming More Declarative [video] (www.youtube.com)
- Prolog and Natural-Language Analysis (1987) [pdf] (www.mtome.com)
- Developing a Go bot embedding Ichiban Prolog (rogersm.net)
- Differences Between miniKanren and Prolog (minikanren.org)
- Trealla Prolog: Compact and efficient Prolog interpreter (trealla-prolog.github.io)
- Rethinking Prolog (www.academia.edu)
- (Logic) Prolog, Erlang, Elixir a side-by-side reference sheet (hyperpolyglot.org)
- Prolog Formulation of the Constitution of Japan (github.com)
- Honda's first US-market EV is here–the 2024 Prologue, driven (arstechnica.com)
- The Prolog Day Symposium – November 10, 2022 – Slides and videos are now up (logicprogramming.org)
- Prolog-rs: Minimal Prolog implemented in Rust (github.com)