logic variable

(programming)logic variable - A variable in a logic programming language which is initially undefined ("unbound") but may get bound to a value or another logic variable during unification of the containing clause with the current goal. The value to which it is bound may contain other variables which may themselves be bound or unbound.

For example, when unifying the clause

sad(X) :- computer(X, ibmpc).

with the goal


the variable X will become bound to the atom "billgates" yielding the new subgoal "computer(billgates, ibmpc)".
logic bomb
Logic Design Language
logic diagram
logic element
logic emulator
Logic for Computable Functions
logic gate
logic operation
logic programing
logic programming
Logic Replacement Technology
-- logic variable --
logical address
logical argument
Logical Block Addressing
logical complement
logical diagram
logical fallacy
logical implication
Logical impossibility
Logical induction
Logical Interchange Format
Logical Link Control
Logical Link Control and Adaptation Protocol
logical operation
logical positivism
logical positivist
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home