Sourcing

data class Sourcing(val goal: Struct, val source: ClauseSource) : Delegation

The goal (not a conjunction) resolved with the clauses of source as the clauses of its predicate, read when the call is made (context lookups)

Constructors

constructor(goal: Struct, source: ClauseSource)

val goal: Struct