Class: Rule
Represents a logic programming rule (Head :- Body).
Example
ts
grandparent(X, Z) :- parent(X, Y), parent(Y, Z).Constructors
Constructor
new Rule(
identifier,patterns,expressions,loc?):Rule
Parameters
| Parameter | Type |
|---|---|
identifier | SymbolPrimitive |
patterns | Pattern[] |
expressions | Expression[] |
loc? | SourceLocation |
Returns
Rule
Overrides
ASTNode.constructor