True class

The Prolog true goal, which succeeds unconditionally with no substitutions.

Inheritance

• Object
• Node
• Term
• True

Annotations

• @immutable

Constructors

True()

Creates an unconditional true term.

const

Properties

arguments → List<Node>

The argument nodes of the compound term.

final, inherited

hashCode → int

The hash code for this object.

no setter, inherited

name → String

The functor name of the term.

final, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

match(Node other) → Map<Variable, Node>?

Attempts to unify this node with other, returning variable bindings or null.

inherited

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

query(Database database) → Iterable<Node>

Evaluates this term as a goal against database.

override

substitute(Map<Variable, Node>? bindings) → Term

Substitutes variables in this node with their bound values in bindings.

override

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited