logic variable

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)".
References in periodicals archive ?
The input-state coefficient matrix (C) and the state-situation coefficient matrix (H) are matrix representations of the SOP of a logic variable that is used in logic expressions.
In the future, k-value logic will be used to express the logic variable more effectively.
1 introduces a general execution model, its distributed extension, and the concept of the logic variable.
A logic variable conceptually has a fixed value from the moment of its creation.
A logic variable can be passed to a user thread before it is bound:
Adding an element to the stream binds the stream's tail to pairs (cons cells) containing the entry and a logic variable as the new tail.
Because of the textual order of evaluation in Prolog, the flow of activity is necessarily from producer to consumer, (The logic variable may somewhat confuse the novice because a variable may be produced by the producer that is later given a value by the consumer.
Shapiro [29] suggested a method for reintroducing the logic variable into Relational Language, and so began the era of restoration.
We use MULTI-level logic variables as opposed to two valued Boolean variables.
In contrast with traditional logic theory, where binary sets have two-valued logic: true or false, fuzzy logic variables may have a truth value that ranges in degree between 0 and 1.
Also, work on directed logic variables at the Weizmann Institute was inspired by Janus [15].
With the InsBridge solution, we'll be able to accurately maintain business logic variables and underwriting rules with less time and effort.