[go: up one dir, main page]

Stories tagged as logiclangs Prolog, Datalog, Z3, Picat, miniKanren, ASP etc. using clauses

Most often also tagged with plt concatenative vibecoding osdev compsci ml databases web

  1. 15
    L-system logiclangs math en.wikipedia.org
    via veqq
    caches
    2 comments
  2. 1
    Why adding ontologies to LLMs won't yield machine intelligence video ai logiclangs youtu.be
    via veqq
    caches
    2 comments
  3. 17
    Datalog logiclangs plt philipzucker.com
    via quad
    caches
    no comments
  4. 84
    Deconstructing Datalog logiclangs plt rntz.net
    authored by rntz
    caches
    5 comments
  5. 3
    MiniLitelog: Easy Breezy SQLite Datalog logiclangs philipzucker.com
    via veqq
    caches
    no comments
  6. 27
    Warren's Abstract Machine: A Tutorial Reconstruction logiclangs github.com/a-yiorgos
    via veqq
    caches
    4 comments
  7. 4
    Ciao - Assertions and their Use logiclangs ciao-lang.org
    via veqq
    caches
    1 comment
  8. 1
    The case against boolean logic logiclangs abuseofnotation.github.io
    via dhruvp
    caches
    5 comments
  9. 12
    Introducing Incremental (2015) logiclangs ml blog.janestreet.com
    via veqq
    caches
    4 comments
  10. 9
    Thinking in States logiclangs metalevel.at
    via veqq
    caches
    1 comment
  11. 2
    EMA-XPS - Hybrid Graphic Expert System Shell logiclangs osdev ema-xps.org
    via veqq
    caches
    no comments
  12. 16
    Prolog Projects Tips logiclangs occasionallycogent.com
    via PuercoPop
    caches
    3 comments
  13. 53
    Prolog Basics Explained with Pokémon logiclangs unplannedobsolescence.com
    via cceckman
    caches
    17 comments
  14. 3
    Using OR-Tools CP-SAT for Scheduling Problems logiclangs atalaykutlay.com
    via vbernat
    caches
    no comments
  15. 17
    Point-Free Logic Programming logiclangs forum.malleable.systems
    via veqq
    caches
    5 comments
  16. 5
    Abstract Machines for Logic Programs concatenative logiclangs chrisistyping.bearblog.dev
    via guillaume
    caches
    no comments
  17. 0
    The Event Made Visible: Event-Based Modelling and Reifications in Turtle 1.2 logiclangs ontologist.substack.com
    via Sietsebb
    caches
    1 comment
  18. 29
    A Dumb Introduction to z3 logiclangs ar-ms.me
    via abhin4v
    caches
    4 comments
  19. 10
    Parsing AsciiDoc in Prolog logiclangs github.com/alexpdp7
    via jmiven
    caches
    3 comments
  20. 24
    A Gentle Introduction to Mercury pdf logiclangs bctnry.github.io
    via jmiven
    caches
    1 comment
  21. 29
    When AI Writes the World's Software, Who Verifies It? formalmethods logiclangs vibecoding leodemoura.github.io
    via regulator
    caches
    15 comments
  22. 20
    Custom Data Structures in E-Graphs logiclangs plt python uwplse.org
    authored by saulshanabrook
    caches
    4 comments
  23. 10
    λProlog: Logic programming in higher-order logic logiclangs lix.polytechnique.fr
    via veqq
    caches
    1 comment
  24. 3
    Extending C with Prolog (1994) c logiclangs amzi.com
    via veqq
    caches
    no comments
  25. 14
    Tuple Spaces compsci databases distributed logiclangs mcs.anl.gov
    via sebastien
    caches
    10 comments

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