Kb – Prolog Knowledge Base • Hacker News Board

Kb – Prolog Knowledge Base

#1

Post by triska » Sat, Jun 27, 2026, 12:16 PM UTC

Re: Kb – Prolog Knowledge Base

#2

Post by veqq » Mon, Jun 29, 2026, 11:33 PM UTC

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.

Re: Kb – Prolog Knowledge Base

#3

Post by shaism » Tue, Jun 30, 2026, 12:20 AM UTC

What would be a good use case for this?

Re: Kb – Prolog Knowledge Base

#4

Post by gobdovan » Tue, Jun 30, 2026, 12:23 AM UTC

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?

Re: Kb – Prolog Knowledge Base

#5

Post by veqq » Tue, Jun 30, 2026, 1:54 AM UTC

gobdovan wrote: post #4

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?

What inspires your project etc.? I'm open to collaborating.

Re: Kb – Prolog Knowledge Base

#6

Post by tern » Tue, Jun 30, 2026, 2:40 AM UTC

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.

Re: Kb – Prolog Knowledge Base

#7

Post by Spooky23 » Tue, Jun 30, 2026, 4:06 AM UTC

shaism wrote: post #3

What would be a good use case for this?

Years ago I worked on an event system that correlated about 500k daily events to about 40 actionable daily events.

A big part of it used prolog to map artifacts to application to business and technical accountable individuals. So if a down storage device offlined a database and broke an app, the business user and storage guy would be called or paged.

My team does this with Splunk today. For probably 50x the compute and 10x the cost.

Re: Kb – Prolog Knowledge Base

#8

Post by snthpy » Tue, Jun 30, 2026, 6:58 AM UTC

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

Re: Kb – Prolog Knowledge Base

#9

Post by schmuhblaster » Tue, Jun 30, 2026, 8:32 AM UTC

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?

Re: Kb – Prolog Knowledge Base

#10

Post by shaism » Tue, Jun 30, 2026, 10:02 AM UTC

Spooky23 wrote: post #7

shaism wrote: post #3

What would be a good use case for this?

Years ago I worked on an event system that correlated about 500k daily events to about 40 actionable daily events. A big part of it used prolog to map artifacts to application to business and technical accountable individuals. So if a down storage device offlined a database and broke an app, the business user and storage guy would be called or paged. My team does this with Splunk today. For probably 50x the compute a…

I see. Cool. So did you generate the inference / reasoning rules to map those 500k events to 40 by hand or are there solutions to automatically discover those rules based on past incidences?