Hackernews posts about Prolog

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

RSS feed for Prolog

Related:Rust Python Forth Tcl Pascal miniKanren Dungeons and Dragons

01
newJev, Prolog, Pi, and the dream of probabilistic logic programmingdeepclause.substack.com
▲ 25schmuhblaster 15d discuss
02
newProlog knowledge base over HTTP/JSON API, with an OpenAPI descriptiongithub.com
▲ 4triska 27d discuss
03
newJev, Prolog, Pi, and the dream of probabilistic logic programmingdeepclause.substack.com
▲ 3arto 14d discuss
04
newProLogium begins mass production of solid-state battery at 381 Wh/kgfinance.yahoo.com
▲ 3akamaka 23d discuss
05
newClausal Prolog: A Neurosymbolic Prolog Built on Pythongithub.com
▲ 2triska 16h discuss
06
newMercedes-Benz gets first dibs on ProLogium's Gen4 solid-state EV battery cellselectrek.co
▲ 2cisc 11d discuss
07
newShow HN: Aethel-Core – Ultra-Lightweight Neuro-Symbolic WAF Built in SWI-Prologgithub.com
▲ 2lokinpendawa 29d discuss
08
newParley: Federated, decentralised chat that speaks plain IRCgit.mills.io
▲ 330davidcollantes 7d 💬 190
09
newShow HN: GoNix – A Unix with a Go Userspacegonix.dev
▲ 4prologic 12d 💬 1
10
newAsk HN: Anyone Played with Jetson Orin Nano Super?
▲ 1prologic 15d 💬 2
11
newShow HN: Build2me – Prove2Me for software agent swarms build codegithub.com
▲ 1shitianfang 21d discuss
12
newWe Asked a Urologist Whether Icing Your Testicles Boosts Testosteronegeiselmed.dartmouth.edu
▲ 2harry_nutsachs 14d 💬 2
13
newUse Prolog to improve LLM's reasoningshchegrikovich.substack.com
▲ 379shchegrikovich 722d 💬 155
14
newLearn Prolog Now (2006)lpn.swi-prolog.org
▲ 326rramadass 327d 💬 242
15
newGame Programming in Prologthingspool.net
▲ 283febin 725d 💬 62
16
newProlog Basics Explained with Pokémonunplannedobsolescence.com
▲ 283birdculture 143d 💬 59
17
newPlwm – An X11 window manager written in Prologgithub.com
▲ 225jedeusus 498d 💬 69
18
newThe Simplicity of Prologbitsandtheorems.com
▲ 202thunderbong 618d 💬 128
19
newProlog Coding Horrorwww.metalevel.at
▲ 202RohanAdwankar 141d 💬 83
20
newC Plus Prologgithub.com
▲ 177mpweiher 571d 💬 53
21
newProlog Adventure Gamegithub.com
▲ 166shakna 532d 💬 26
22
newMy Gripes with Prologbuttondown.com
▲ 155azhenley 263d 💬 102
23
newCompiling Prolog to Forth [pdf]vfxforth.com
▲ 128PaulHoule 216d 💬 10
24
newThe Birth of Prolog (1996)dl.acm.org
▲ 122Jtsummers 80d 💬 19
25
newSolving a “Layton Puzzle” with Prologbuttondown.com
▲ 110Tomte 545d 💬 28
26
newKb – Prolog Knowledge Basegithub.com
▲ 109triska 100d 💬 18
27
newProlog's Eternal September (2017)storytotell.org
▲ 87Tomte 515d 💬 90
28
newDogalog: A realtime Prolog-based livecoding music environmentgithub.com
▲ 82triska 295d 💬 21
29
newExtending C with Prolog (1994)www.amzi.com
▲ 72Antibabelic 225d 💬 26
30
newHow to Average in Prolog (2017)storytotell.org
▲ 72todsacerdoti 516d 💬 23
31
newSula: A Gemini protocol server written in Scryer Prologsagredo.dev
▲ 60triska 61d 💬 8
32
newShow HN: Vibe Prologgithub.com
▲ 44nl 320d 💬 15
33
newNative compilation of Prolog predicates with Cranelift [pdf]files.adrianistan.eu
▲ 43aarroyoc 684d 💬 5
34
newRubik's Cube in Prolog – Ordermedium.com
▲ 41myth_drannon 268d 💬 14
35
newScryer Prolog Meetup 2025hsd-pbsa.de
▲ 41aarroyoc 385d 💬 1
36
newForth VM and compiler written in C++ and Scryer Prologgithub.com
▲ 37triska 188d discuss
37
newThe British Nationality Act as a Prolog Program (1986) [pdf]www.doc.ic.ac.uk
▲ 35Tomte 568d 💬 17
38
newSWI-Prolog 10.0.0 Releasedswi-prolog.discourse.group
▲ 34todsacerdoti 306d 💬 3
39
newProlog planner generation prompting guidequantumprolog.sgml.net
▲ 33tannhaeuser 551d 💬 1
40
newPProlog: A Prolog for Plan 9prolog.pmikkelsen.com
▲ 18triska 419d 💬 3
41
newScryer Prolog NPM package (experimental)github.com
▲ 14triska 596d 💬 3
42
newA Bicycle for the Mind – Prologuetechnicshistory.com
▲ 14dotcoma 708d 💬 2