用Java评估逻辑谓词

Question

I'm developing a Java application that manages a very large model of entities and their relationships. Such as "A uses B", "B is implemented in C", "C is located at D". All these entities and their properties are stored in a noSQL database.

What I would like to do is have logical predicates such as:

• B is used by A when A uses B
• A is dependant on C when A uses B and B is implemented in C

Then when a user opens the detail screen for A, he not only sees all A's properties but also sees:

• A uses B
• A is dependant on C
• A calls D

I can hardcode all those predicates, but I would like to be able to configure it. Does anyone have any idea how to approach that?

I can't use SQL. I don't have something like Prolog to invoke. There is a prolog emulator for Java, but I'm afraid it wants to load the entire datamodel in memory first, before evaluating predicates.

Any help is appreciated.

Answer 1

There are several Java implementations of Prolog (eg Lean Prolog, JIProlog, tuProlog, Jekejeke Prolog, Minerva, ...). Some provide a bi-directional interface between Prolog and Java. At least one of them, JIProlog, supports external Prolog databases of clauses, apparently allowing using those clauses without loading all of them into memory. If exporting the data from your noSQL database to a Prolog file is a feasible option, this might be a solution worth exploring.