DICE API Documentation/com.embabel.dice.projection.prolog/PrologProjectionResult

PrologProjectionResult

data class PrologProjectionResult(val facts: List<PrologFact>, val confidenceFacts: List<ConfidenceFact>, val groundingFacts: List<GroundingFact>)

Result of projecting propositions to Prolog.

Constructors

Link copied to clipboard
constructor(facts: List<PrologFact>, confidenceFacts: List<ConfidenceFact>, groundingFacts: List<GroundingFact>)

Properties

Link copied to clipboard
val confidenceFacts: List<ConfidenceFact>

Confidence metadata for each fact

Link copied to clipboard
val factCount: Int
Link copied to clipboard
val facts: List<PrologFact>

The main facts

Link copied to clipboard
val groundingFacts: List<GroundingFact>

Provenance metadata for each fact

Functions

Link copied to clipboard
fun toTheory(schema: PrologSchema): String

Generate complete Prolog theory with all facts.