Class: Fact
Represents a fact, a rule with no body (always true).
Example
ts
human(socrates).Constructors
Constructor
new Fact(
identifier,patterns,loc?):Fact
Parameters
| Parameter | Type |
|---|---|
identifier | SymbolPrimitive |
patterns | Pattern[] |
loc? | SourceLocation |
Returns
Fact
Overrides
ASTNode.constructor