PrologTools

class PrologTools(prologResult: PrologProjectionResult, prologSchema: PrologSchema, entityNames: Map<String, String> = emptyMap())

Prolog tools that can be invoked by an LLM to query a knowledge base.

prologResult

Prolog facts from projection

prologSchema

Schema with predicate mappings and rules

entityNames

Mapping of entity IDs to human-readable names

Constructors

constructor(prologResult: PrologProjectionResult, prologSchema: PrologSchema, entityNames: Map<String, String> = emptyMap())

Check if a specific fact is true.

List all known entities with their names. Use this to find the correct entity name to use in queries.

List available predicates in the knowledge base.

Query the Prolog knowledge base. Returns all matching results with variable bindings.

Show sample facts from the knowledge base. Helps understand the structure and available data.