home.social
Sign in Create account

#datalog — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #datalog, aggregated by home.social.

  1. Hacker News @[email protected] ·

    Optimizing Datalog for the GPU

    dl.acm.org/doi/10.1145/3669940

    #HackerNews #Optimizing #Datalog #for #the #GPU #GPU #Computing #Datalog #Optimization #Tech #News #ACM #Research

    #hackernews #optimizing #datalog #for #the #gpu
  2. Hacker News @[email protected] ·

    Compositional Datalog on SQL: Relational Algebra of the Environment

    philipzucker.com/compose_datal

    #HackerNews #Compositional #Datalog #SQL #RelationalAlgebra #Environment

    #hackernews #compositional #datalog #sql #relationalalgebra #environment
  3. José A. Alonso @[email protected] ·

    Readings shared March 18, 2025. jaalonso.github.io/vestigium/p #AI #ASP #ATP #CLP #CommonLisp #Datalog #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #LogicProgramming #Mace #Math #Otter #Prolog #Prover9 #SMT #Z3

    #z3 #smt #prover9 #prolog #otter #math
  4. José A. Alonso @[email protected] ·

    Teaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. acnsci.org/journal/index.php/c #LogicProgramming #Prolog #ASP #CLP #Datalog

    #datalog #clp #asp #prolog #logicprogramming