Using 2p-kt programmatically about 2p-kt HOT 1 CLOSED

Hi @Emmeral,

you are right, the doc is quite out of sync.

The most updated resource is my beamer presentation (look into the release section to download the pdf).
It does not spend too many slides about Java, but there's something.
Are you comfortable with Kotlin-Java interoperability?

I'll answer to your questions below.

Where is the programmatic entry point for adding a knowledge base and then querying the Prolog engine against this knowledge base. I have the knowledge base and the respective queries as a string representation

You need (at least) a Solver and a ClauseParser or ClauseReader.
The parser/reader is needed in order to parse your KB and queries.
The solver is needed to let Prolog answer queries.

Which part of the library do I need for that (core, parser, theory, ...?)

You need modules solve-classic and parser-theory (and all their dependencis, thus core, unify, theory, and parser-core, which should be automatically downloaded if you use Gradle, or Maven).
Recall to add the -jvm suffix to artifact names when declaring dependencies on Gradle/Maven.

Hope this help & let me know if you need more info!

from 2p-kt.