PrologFact

data class PrologFact(val predicate: String, val args: List<String>, val confidence: Double, val decay: Double = 0.0, val sourcePropositionIds: List<String>) : Projection

A Prolog fact projected from a proposition. Facts are ground terms (no variables) that represent knowledge.

Constructors

constructor(predicate: String, args: List<String>, confidence: Double, decay: Double = 0.0, sourcePropositionIds: List<String>)

The arguments as strings (e.g., "alice_id", "kubernetes")

open override val confidence: Double

The confidence from the source proposition

open override val decay: Double = 0.0

The decay rate (defaults to 0.0 for Prolog facts)

open override val grounding: List<String>

Grounding traces back to the source propositions by default.

open val importance: <Error class: unknown class>

Importance of this derivation (0.0 to 1.0).

The predicate name (e.g., "expert_in")

Provenance tracking

Format as Prolog syntax: predicate('arg1', 'arg2').

Format without trailing period (for embedding in rules).