Logic Programming (Prolog, ASP, etc) and GRAKN.AI (a distributed knowledge base)

Re:Logic Programming (Prolog, ASP, etc) and GRAKN.AI (a dist... by Karrot_Kream on Thursday July 06, 2017 @01:15PM (#14712004)

Small nit:

> If the application requires constant knowledge updates, having a database is much better than revising and reloading a Prolog program.

Most modern Prologs support the ability to assert and retract facts, so you basically get an in-memory DB to run clauses against continuously.

Other than that, really cool stuff! Love to see logic programming applied in new and interesting ways.

[ Parent | on HN ]

Re:Logic Programming (Prolog, ASP, etc) and GRAKN.AI (a dist... by dmix on Thursday July 06, 2017 @02:04PM (#14712418)

I'm curious if they should have built on top of JMAP by Fastmail: https://blog.fastmail.com/2014/12/23/jmap-a-better-way-to-em...

It's possible this was far too close to the original email protocol to make sense though.

[ Parent | on HN ]

Re:Logic Programming (Prolog, ASP, etc) and GRAKN.AI (a dist... by NotAUsername on Thursday July 06, 2017 @01:41PM (#14712241)

That's a really good point thanks! I guess the right observation to make there is having a fully integrated distributed database behind the knowledge base, which hopefully could unlock some applications scenarios from which Prolog is usually excluded.

[ Parent | on HN ]