PrologEngine

Prolog engine for executing queries against a knowledge base. Wraps tuProlog to provide a simple interface for loading theories and running queries.

This class is immutable - asserting facts returns a new instance.

Types

fun findAll(queryString: String, variableName: String): List<String>

Find all values for a variable in a query.

fun query(queryString: String): Boolean

Execute a query and return whether it succeeds.

Execute a query and return all solutions with variable bindings.

Execute a query and return the first solution.