为逻辑程式设计语言中的变数，其起始值并未定义（亦称未约束（unbound））但其于执行时，经统一（unification）而约束于一值。例如一个逻辑子句如下：
happy（X）：-exam（X，微积分），目前的目标为happy（张三），则逻辑变数X被固定成为张三，而产生新的目标exam（张三，微积分）。