Value class

A Prolog atomic constant (atom) with no arguments.

For example:

const atom = Value('apple');

Inheritance

• Object
• Node
• Term
• Value

Annotations

• @immutable

Constructors

Value(String name)

Creates an atomic constant with the given name.

const

Properties

arguments → List<Node>

The argument nodes of the compound term.

final, inherited

hashCode → int

The hash code for this object.

no setter, override

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) → Value

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

override

toString() → String

A string representation of this object.

override

Operators

operator ==(Object other) → bool

The equality operator.

override