Datalog in Rust: A workshop-inspired project to build an interactive Datalog engine, emphasizing usability & performance. Covers parsing, fact storage, & rule eval with program analysis demos.
#Rust #Datalog #prorgamming #rustlang
https://github.com/frankmcsherry/blog/blob/master/posts/2025-06-03.md
🦀✨ Ah, yes, another riveting tale of someone cramming #Datalog into #Rust because who doesn't love combining obscure technologies for funsies? 🚀🔧 It's like trying to fit a square peg in a round hole and calling it innovation—now with extra GitHub links for the brave souls who pretend to care. 🎉💾
https://github.com/frankmcsherry/blog/blob/master/posts/2025-06-03.md #Innovation #TechHumor #ObscureTech #HackerNews #ngated
nemo - A fast in-memory rule engine
Readings shared April 22, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/22-readings_shared_04-22-25 #CommonLisp #Datalog #Haskell #IsabelleHOL #LLMs #LeanProver #Logic #Math #Python
The inverse method is a good fit for Datalog theorem proving. ~ Philip Zucker. https://philipzucker.com/inverse_method #Datalog #Logic
[New Blog Post] The Inverse Method is a Good Fit for Datalog Theorem Proving #datalog #logic https://www.philipzucker.com/inverse_method/
🥸 Ah, #Scallop, the language of choice for those who can't decide between symbols and neurons, as if #AI needed more seasoning. 🧂 Just what we needed: another "revolutionary" tool, based on #Datalog, to baffle even the most dedicated programmers. ⚠️ Perfect for when you want your Python code to be even less comprehensible. 🐍
https://www.scallop-lang.org/ #programming #humor #HackerNews #ngated
Teaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. https://acnsci.org/journal/index.php/cte/article/view/838/860 #LogicProgramming #Prolog #ASP #CLP #Datalog
The #Dusa Programming Language
Dusa is a logic programming language designed by Rob Simmons and Chris Martens, the first implementation of finite-choice logic programming. #datalog #logicprogramming #graphs #prolog #programminglanguages
2024, was a year of #datalog and #prolog and just a bit of hashtag#rust
I love to learn languages. I have few options this year
I more and more see a need for system languages to make hashtag#edgeai a reality, but I also see Python everywhere
- renew my hashtag#python. I see that language has gone far in the last years
- renew and learn modern #C
- #zig
- #gleam
I also fell in love with #ocaml but still haven't found a paid job for it
What is on your list?
Idea of #propertygraph on top of #rdf is interesting. It is marry 2 big camps and give more tools and power . #terminusdb go even forward and add more user friendly document based interface for #linkeddata on top of #jsonld that could be translated to #rdf. Unfortunately we still has no tools for #edge and on user device . I see that terminus #hdt store and effective #datalog engine improvemented in #rust give a hope
How cool to discover happy #mangle #datalog users! It is used in a schema analysis tool that is described here: https://techblog.citystoragesystems.com/p/nuance-preventing-schema-migrations
Q: What is a Deductive Database? A: Please read: http://dictionary.reference.com/browse/deductive+database. #LinkedData #DBMS #RDF #Datalog
John Sowa's presentation about Integrating Semantic Systems: http://www.jfsowa.com/talks/iss.pdf . #rdf #semweb #linkeddata #prolog #datalog
Anyone have a favorite #datalog implementation they prefer? I've been messing with Soufflé a bit. I couldn't figure out how to work with Mangle.
