Package-level declarations
Types
Link copied to clipboard
How the answer was derived.
Link copied to clipboard
class LlmOracle(ai: <Error class: unknown class>, prologResult: PrologProjectionResult, prologSchema: PrologSchema, propositionRepository: PropositionRepository? = null, entityNames: Map<String, String> = emptyMap(), llmOptions: <Error class: unknown class> = LlmOptions()) : Oracle
LLM-based Oracle that answers questions using Prolog reasoning with fallback to proposition search.
Link copied to clipboard
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.
Link copied to clipboard
class ToolOracle(ai: <Error class: unknown class>, prologResult: PrologProjectionResult, prologSchema: PrologSchema, propositionRepository: PropositionRepository? = null, entityNames: Map<String, String> = emptyMap(), llmOptions: <Error class: unknown class> = LlmOptions()) : Oracle
Oracle that uses LLM tool calling to answer questions. The LLM decides when and how to query the Prolog knowledge base.