λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments
A Perplexing JavaScript Parsing Puzzle(hillelwayne.com)40 points by todsacerdoti 1 year ago | 12 comments
Logica – Declarative logic programming language for data(logica.dev)153 points by voat 1 year ago | 53 comments
Implementing Logic Programming(btmc.substack.com)182 points by sirwhinesalot 1 year ago | 57 comments
SPL: A programming language coding in a grid(blog.scudata.com)31 points by jinqueeny 2 years ago | 9 comments