🧩 Prolog - c13e · Scour

Prolog Projects Tips 🐫OCaml

occasionallycogent.com·4d·Lobsters

The Mercury Project: About 🐫OCaml

mercurylang.org·1d

bergholt/triptych: A Prolog (also read pro-logos) realisation of the system poem from bergholt.net/sun. The generator produces 72 variants of the poem: 3 nouns × 3 verbs × 4 adverbs × 2 syntactic orders = 72 One variant for each eclipse in Saros 126 cycle of solar eclipses (1179–2459). 🔍Parsing

github.com·6d·Hacker News

Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog 🔍Parsing

Prolog Coding Horror 🔍Parsing

metalevel.at·3d·Hacker News

Show HN: Lime, a parser generator that can merge grammars at runtime ⚙️Compiler Design

codeberg.org·1d·Lobsters, Hacker News

I'm not mutable, I'm partially instantiated λFunctional Programming

news.ycombinator.com·4d·Hacker News

Trivium: 17may2026 💧Elixir

leahneukirchen.org·3d

Crypto Token ZCash Attracts Nostalgic Bitcoin Enthusiasts ⚗️BEAM Ecosystem

The Mercury Project: Home 🔤New Languages

mercurylang.org·4h

Less-relevant results

🔗 always bet on text 🗃️PKM

gurupanguji.com·5d

Mercury-Language/mercury: The Mercury logic programming system. 🔤New Languages

github.com·2d·Hacker News

Thinking in States λFunctional Programming

metalevel.at·4d·Lobsters

Portland PLV Group 📐Formal Methods

plv.cs.pdx.edu·5d

PyCon US 2026 Typing Summit Recap 🔤New Languages

bernat.tech·6d·Lobsters, Hacker News

On Strong Equivalence Notions in Logic Programming and Abstract Argumentation 📐Formal Methods

Log in to enable infinite scrolling