Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  vibecoding  game  release  linux  security  health  spacex  i.redd.it  psychology  show  tomshardware.com  apple  theguardian.com  psypost.org  reuters.com  techcrunch.com  google 

Ciao - Assertions and their Use

13 days ago ciao-lang.org logiclangs

Deconstructing Datalog

6 days ago rntz.net logiclangs plt

Warren's Abstract Machine: A Tutorial Reconstruction

13 days ago github.com logiclangs tutorial

Datalog

3 days ago philipzucker.com logiclangs plt

Thinking in States

32 days ago metalevel.at logiclangs

Point-Free Logic Programming

39 days ago forum.malleable.systems logiclangs

Prolog Basics Explained with Pokémon

34 days ago unplannedobsolescence.com logiclangs prolog

Introducing Incremental (2015)

32 days ago blog.janestreet.com logiclangs ml

EMA-XPS - Hybrid Graphic Expert System Shell

32 days ago ema-xps.org logiclangs osdev

Prolog Projects Tips

33 days ago occasionallycogent.com logiclangs prolog

Abstract Machines for Logic Programs

39 days ago chrisistyping.bearblog.dev concatenative logiclangs

A Dumb Introduction to Z3 (2025)

2 months ago ar-ms.me logiclangs

Parsing AsciiDoc in Prolog

2 months ago github.com logiclangs prolog

A Gentle Introduction to Mercury

3 months ago bctnry.github.io logiclangs pdf

When AI writes the software, who verifies it?

3 months ago leodemoura.github.io ai formalmethods logiclangs vibecoding

λProlog: Logic programming in higher-order logic

3 months ago lix.polytechnique.fr logiclangs

miniKanren.org

4 months ago minikanren.org logiclangs

Relational Programming in miniKanren: Techniques, Applications, and Implementations (2009)

4 months ago scholarworks.iu.edu logiclangs pdf

Custom Data Structures in E-Graphs

3 months ago uwplse.org compiler logiclangs plt python

TablaM

4 months ago tablam.org logiclangs plt

An AI Called Winter: Neurosymbolic Computation or Illusion?

4 months ago dustycloud.org ai logiclangs vibecoding

Tuple Spaces

3 months ago mcs.anl.gov compsci database distributed logiclangs

Compiling Prolog to Forth [pdf]

4 months ago vfxforth.com compiler concatenative logiclangs pdf prolog

Six Simple Sudoku Solvers: Prolog

4 months ago blog.veitheller.de logiclangs prolog

prolog-blog-engine: blog engine in pure Prolog. 0 dependencies, Markdown, server

4 months ago github.com logiclangs prolog web