Class: Rule

Represents a logic programming rule (Head :- Body).

Example

grandparent(X, Z) :- parent(X, Y), parent(Y, Z).

Constructors

Constructor

new Rule(identifier, equations, loc?): Rule

Parameters

Parameter	Type
identifier	SymbolPrimitive
equations	Equation[]
loc?	SourceLocation

Returns

Rule

Overrides

ASTNode.constructor

Methods

getMetadata()

getMetadata<T>(key): T

Type Parameters

Type Parameter
T

Parameters

Parameter	Type
key	string

Returns

T

Inherited from

ASTNode.getMetadata

---

hasMetadata()

hasMetadata(key): boolean

Parameters

Parameter	Type
key	string

Returns

boolean

Inherited from

ASTNode.hasMetadata

---

setMetadata()

setMetadata(key, value): void

Parameters

Parameter	Type
key	string
value	any

Returns

void

Inherited from

ASTNode.setMetadata