FRESH

Hacker News

Kb – Prolog Knowledge Base

105 points by triska

by veqq

0 subcomment

This looks really cool! After building various logic programming engines on top of Janet: https://codeberg.org/veqq/declarative-dsls I was considering something similar (though more bare bones). I'd love to talk to the maintainer to discuss certain design choices etc. Maybe I can wrap it instead of SQLite and Prolog directly as I was thinking.

by gobdovan

1 subcomments

I'm developing a similar project, I also added scripts to it so it works like an hermetic/replayable system too. Do you use yours for anything cool? Maybe a truth maintenance system of sorts? Do the queries get unwieldy at some point?

by tern

0 subcomment

Ah, interested to dive in—and have a project it could integrate with.
I built a similar thing recently, for agents, aimed at enabling prolog queries over handles in markdown corpora (and code): https://github.com/flowerornament/anneal. A true slopwerk in comparison to this, however.

by schmuhblaster

0 subcomment

Awesome work! If I understand it correctly, it loads relevant subgraphs from the DB and then runs queries in Prolog on it? Or is it more similar to datalog?

by theknarf

0 subcomment

I've been building something similare, but on Datalog instead of Prolog: https://github.com/theknarf-experiments/flow-md

by ux266478

0 subcomment

I'm curious, what inspired the workflow? The usecase strikes me as similar to a usecase I have with the normal Prolog REPL. Why an SQL database instead of of loading/unloading files? Did you run into scaling issues?

by snthpy

0 subcomment

Looks cool. A somewhat adjacent question: what is the best, or what are common, approache(s) for handling time in knowledge graphs?

by srean

0 subcomment

It would be good to link the Masters thesis too. I looked for it but could not find.

by shaism

1 subcomments