Skip to content

FactInput

Predicate and one to three ground terms, as a tuple or object.

type FactInput = readonly [
predicate: string,
...terms: GroundTerm[]
] | Readonly<{
predicate: string;
terms: readonly GroundTerm[];
}>;

VerdictClient · identity · IntegerRepresentationError · VerdictClientOptions · FactBatchInput · Consistency · ReadOptions · SessionOptions · Revision · Identity · GroundTerm · PatternValue · Wildcard · FilterValue · PatternInput · ListFilterInput · IntegerMode · IntegerResult · ResultTerm

Client reference introduction.