Datalog in 100 lines of JavaScript (2022)

Beautiful article and explanation. I have been in this career for almost 2 decades and this is the first time I hear about Datalog and triples, and it is such an elegant, interesting idea!

Thanks for teaching an old dog new tricks :) Where to do from here? Any other triple-based databases out there?

EDIT: please ignore the absolutely rude and entitled sibling comment.

I love this kind of article. Seeing that you can get somewhere (NOT a fullblown datalog, but isn't that obvious?) with a few lines of code, is truly a nice way to ease people into something. Going for a full implementation would make people almost immediately cry, so this is a lot better as 'first contact'.

So I asked ai to make a datalog implementation in JavaScript.

// In-memory storage for voted users const votedUsers = new Set();

// Datalog-like rules function eligible_to_vote(user) { return isUserOldEnough(user) && isCanadianCitizen(user); }

function voted(user, bill) { return votedUsers.has(`${user}_${bill}`); }

// Custom rules function isUserOldEnough(user) { // Assuming age is stored in user object return user.age >= 18; }

function isCanadianCitizen(user) { // Assuming citizenship information is stored in user object return user.citizenship === 'Canada'; }

function recordVote(user, bill) { // Record that the user has voted on the specified bill votedUsers.add(`${user}_${bill}`); }

// Example usage const user = { name: "user123", age: 25, citizenship: "Canada", };

const bill = "bill456";

if (eligible_to_vote(user)) { console.log("User is eligible to vote.");

  if (!voted(user.name, bill)) {
    console.log("User can vote on this bill.");
    // Implement further logic for voting...

    // Record the vote
    recordVote(user.name, bill);
  } else {
    console.log("User has already voted on this bill.");
  }

} else { console.log("User is not eligible to vote."); }

How is the language being presented connected to Datalog whatsoever? It uses a very alien syntax, and has no mention of Datalog's defining feature, recursion that is always guaranteed to terminate.

Here's an __actual__ small (and very fast) full blown datalog engine: https://github.com/brurucy/micro-datalog