Alexandria Library

A curated collection of awesome articles

Here are some ressources related to Prolog, Tla, Logic. Hoping you will find learning material, alternative tools or just some interesting stuff.

Home > Programming, Machine Learning, Quan... > Functional programming, Haskell, Li... > Programming, Compiler, Interpreter,... > Prolog, Tla, Logic

Articles

The seven specification ur-languages
See discussion (67 comments, 132 points) - Archive
European Lisp Symposium 2023
See discussion (15 comments, 114 points) - Archive
Tar.pl – A tar creator and extractor in ~130 lines of Prolog
See discussion (85 comments, 271 points) - Archive
Prolog at Work
See discussion (104 comments, 163 points) - Archive
Why Logtalk?
See discussion (6 comments, 109 points) - Archive
Soufflé: A Datalog Synthesis Tool for Static Analysis
See discussion (21 comments, 84 points) - Archive
Learn TLA+
See discussion (64 comments, 254 points) - Archive
The Ciao System
See discussion (14 comments, 85 points) - Archive
Trealla – A compact, efficient Prolog interpreter written in plain-old C
See discussion (34 comments, 126 points) - Archive
Trealla Prolog embedded in Go using WASM
See discussion (12 comments, 89 points) - Archive
Learn TLA+
See discussion (74 comments, 350 points) - Archive
Show HN: PRQL 0.2 – a better SQL
See discussion (159 comments, 378 points) - Archive
The Power of Prolog
See discussion (67 comments, 279 points) - Archive
An embeddable Prolog scripting language for Go
See discussion (35 comments, 131 points) - Archive
PRQL – A proposal for a better SQL
See discussion (292 comments, 650 points) - Archive
Scryer Prolog: A modern Prolog implementation written mostly in Rust
See discussion (95 comments, 272 points) - Archive
PostgreSQL-Prolog: A Prolog library to connect to PostgreSQL databases
See discussion (20 comments, 99 points) - Archive
TLA+ is hard to learn (2018)
See discussion (44 comments, 94 points) - Archive
Logica, a novel open-source logic programming language
See discussion (98 comments, 346 points) - Archive
Show HN: An encoding of the UK's self-isolation rules in Prolog
See discussion (23 comments, 108 points) - Archive
TLA+
See discussion (69 comments, 230 points) - Archive
Translating My Z3 Tutorial to Coq
See discussion (18 comments, 108 points) - Archive
The birth of Prolog (1992) [pdf]
See discussion (45 comments, 100 points) - Archive
Programming Language Foundations in Agda
See discussion (5 comments, 83 points) - Archive
Exotic Programming Ideas
See discussion (83 comments, 176 points) - Archive
Formulog: ML + Datalog + SMT
See discussion (21 comments, 129 points) - Archive
Reactive Probabilistic Programming
See discussion (24 comments, 110 points) - Archive
Prolog Web Applications (2016)
See discussion (18 comments, 104 points) - Archive
Guitar Chord Voicings with Prolog
See discussion (37 comments, 154 points) - Archive
The Power of Prolog
See discussion (82 comments, 381 points) - Archive
Verified Functional Programming in Agda
See discussion (10 comments, 88 points) - Archive
A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue
See discussion (6 comments, 213 points) - Archive
Web Programming in SWI Prolog (2019)
See discussion (14 comments, 85 points) - Archive
Learn TLA+ (2018)
See discussion (58 comments, 310 points) - Archive
Learn X in Y minutes Where X=Prolog
See discussion (53 comments, 130 points) - Archive
TLA+ model checking made symbolic
See discussion (51 comments, 197 points) - Archive
Logic Puzzles with Prolog (2017)
See discussion (26 comments, 138 points) - Archive
Adventure in Prolog Tutorial (2016)
See discussion (36 comments, 131 points) - Archive
Prolog Control in Six Slides
See discussion (19 comments, 82 points) - Archive
Solving Sudoku with Prolog (2016)
See discussion (73 comments, 179 points) - Archive
TLA+: design, model, document, and verify concurrent systems
See discussion (32 comments, 148 points) - Archive
Learn TLA+ (2018)
See discussion (92 comments, 387 points) - Archive
Modern Prolog Implemented in Rust
See discussion (20 comments, 93 points) - Archive
Introduction to Datalog
See discussion (38 comments, 203 points) - Archive
The Essence of Datalog (2018)
See discussion (29 comments, 154 points) - Archive
Dialogical logic programming
See discussion (19 comments, 85 points) - Archive
Minikanren – An embedded DSL for logic programming
See discussion (44 comments, 224 points) - Archive
Why3 – A platform for deductive program verification
See discussion (6 comments, 105 points) - Archive
Loglan – a predicate logic-based language for humans
See discussion (37 comments, 98 points) - Archive
Synchronous languages
See discussion (19 comments, 92 points) - Archive
Reazon – miniKanren for Emacs
See discussion (21 comments, 90 points) - Archive
Programming Language Foundations in Agda
See discussion (4 comments, 156 points) - Archive
A Couple of Meta-Interpreters in Prolog
See discussion (17 comments, 136 points) - Archive
The Power of Prolog
See discussion (158 comments, 480 points) - Archive
The TLA+ Video Course by Leslie Lamport
See discussion (17 comments, 219 points) - Archive
Lojban
See discussion (24 comments, 84 points) - Archive
Show HN: PL/Swift – PostgreSQL Functions in Swift
See discussion (13 comments, 84 points) - Archive
Prolog-Based Reasoning Layer for Counter-Strike Agents (2012) [pdf]
See discussion (23 comments, 91 points) - Archive
Limbo – A Reasoning System for First-Order Limited Belief
See discussion (26 comments, 143 points) - Archive
The Power of Prolog
See discussion (161 comments, 348 points) - Archive
Logic Production Systems: A new mixed logic/imperative programming language
See discussion (33 comments, 125 points) - Archive
Show HN: Writing an HTTP server in Prolog
See discussion (70 comments, 238 points) - Archive
Design and Implementation of Probabilistic Programming Languages
See discussion (4 comments, 116 points) - Archive
LogicJS adds logic programming to JavaScript
See discussion (72 comments, 209 points) - Archive
Extensional Higher Order Prolog
See discussion (5 comments, 81 points) - Archive
A “Hello World” Server in Prolog
See discussion (36 comments, 160 points) - Archive
Lojban
See discussion (87 comments, 174 points) - Archive
TLA+
See discussion (21 comments, 105 points) - Archive
Ciao – Logic, constraint, functional, higher-order, and object-oriented language
See discussion (6 comments, 82 points) - Archive
The Design and Implementation of Probabilistic Programming Languages
See discussion (13 comments, 99 points) - Archive
MiniKanren – An embedded DSL for logic programming
See discussion (22 comments, 85 points) - Archive
Rethinking Prolog [pdf]
See discussion (34 comments, 113 points) - Archive
How can one manage thousands of IF…THEN…ELSE rules?
See discussion (79 comments, 187 points) - Archive
A Short Introduction to Prolog
See discussion (40 comments, 102 points) - Archive
PRQL as a DuckDB Extension
See discussion (47 comments, 105 points) - Archive
Show HN: PRQL in PostgreSQL
See discussion (139 comments, 267 points) - Archive
Pql, a pipelined query language that compiles to SQL
See discussion (131 comments, 262 points) - Archive
Prolog language for PostgreSQL proof of concept
See discussion (77 comments, 214 points) - Archive