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

GroundingFact

data class GroundingFact(val fact: PrologFact, val propositionId: String)

A grounding fact that links a Prolog fact back to its source proposition. Enables provenance queries.

Constructors

constructor(fact: PrologFact, propositionId: String)

Properties

val fact: PrologFact

val propositionId: String

Functions

fun toProlog(): String