A variable that represents an unknown value or entity that can be instantiated in a programming language with Logical Data Flow.

Logical variables can not be modified after instantiation, unlike variables in languages with Imperative Data Flow.