1. 4

   Parsing AsciiDoc in Prolog logiclangs github.com/alexpdp7

   via jmiven 6 hours ago | caches | no comments

   Archive.org | Ghostarchive
   0
2. 23

   A Gentle Introduction to Mercury pdf logiclangs bctnry.github.io

   via jmiven 21 days ago | caches | 1 comment

   Archive.org | Ghostarchive
   1
3. 28

   When AI Writes the World's Software, Who Verifies It? formalmethods logiclangs vibecoding leodemoura.github.io

   via regulator 1 month ago | caches | 15 comments

   Archive.org | Ghostarchive
   15
4. 19

   Custom Data Structures in E-Graphs logiclangs plt python uwplse.org

   authored by saulshanabrook 1 month ago | caches | 4 comments

   Archive.org | Ghostarchive
   4
5. 10

   λProlog: Logic programming in higher-order logic logiclangs lix.polytechnique.fr

   via veqq 1 month ago | caches | 1 comment

   Archive.org | Ghostarchive
   1
6. 3

   Extending C with Prolog (1994) c logiclangs amzi.com

   via veqq 1 month ago | caches | no comments

   Archive.org | Ghostarchive
   0
7. 14

   Tuple Spaces compsci databases distributed logiclangs mcs.anl.gov

   via sebastien 1 month ago | caches | 10 comments

   Archive.org | Ghostarchive
   10
8. 17

   An AI Called Winter: Neurosymbolic Computation or Illusion? logiclangs vibecoding dustycloud.org

   via tumdum 1 month ago | caches | 22 comments

   Archive.org | Ghostarchive
   22
9. 7

   Relational Programming in miniKanren: Techniques, Applications, and Implementations (2009) pdf logiclangs scholarworks.iu.edu

   via veqq 1 month ago | caches | no comments

   Archive.org | Ghostarchive
   0
10. 39

    miniKanren.org logiclangs minikanren.org

    via veqq 1 month ago | caches | 3 comments

    Archive.org | Ghostarchive
    3
11. 20

    Compiling Prolog to Forth pdf compilers concatenative logiclangs vfxforth.com

    via veqq 1 month ago | caches | 1 comment

    Archive.org | Ghostarchive
    1
12. 7

    TablaM ☶ logiclangs plt tablam.org

    via veqq 2 months ago | caches | 1 comment

    Archive.org | Ghostarchive
    1
13. 10

    Six Simple Sudoku Solvers: Prolog logiclangs blog.veitheller.de

    via veqq 2 months ago | caches | 1 comment

    Archive.org | Ghostarchive
    1
14. 8

    prolog-blog-engine: blog engine in pure Prolog. 0 dependencies, Markdown, server logiclangs web github.com/cryptoque

    via veqq 2 months ago | caches | 1 comment

    Archive.org | Ghostarchive
    1

Tip: read stories across multiple tags with /t/tag1,tag2