logic variable

0.01 sec.

(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

sad(billgates).

the variable X will become bound to the atom "billgates" yielding the new subgoal "computer(billgates, ibmpc)".

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			With the InsBridge solution, we'll be able to accurately maintain business logic variables and underwriting rules with less time and effort. Disability RMS Selects InsBridge, Inc. to Provide Insurance Rating ... by Business Wire			logic design Logic Design Language logic device Logic Diagram Logic Element logic emulator logic error Logic for Computable Functions logic function logic gate logic high logic level logic low Logic of Classes Logic of Relations Logic of Science logic operation logic operator logic programming Logic Replacement Technology logic section logic swing logic switch logic synthesis logic unit logic variable logic word Logic, Law of Logic, Many-Valued Logic, Modal logic, philosophy logic-arithmetic unit logic-seeking printer logical logical access logical addition logical address Logical Analysis, Philosophy of Logical and the Historical logical backup Logical Block Addressing Logical Calculus logical comparison logical complement logical connectives logical construction Logical Corollary logical data group logical data independence logical data type logical decision			Logic program Logic program Logic Program Register Logic Program Theorem Prover logic programing logic programming logic programming logic programming Logic Programming and Artificial Intelligence Research Group Logic Programming and Intelligent Systems Logic Programming and Knowledge Representation Logic Programming and Non Monotonic Reasoning Logic Programming and Soft Computing Logic Programming in Knowledge Representation and Reasoning Logic programming language Logic programming language Logic Replacement Technology logic section logic sequencer Logic State Analyzer logic swing logic switch Logic synthesis Logic system Logic system Logic systems Logic systems Logic Theory Logic Trunked Radio logic unit logic variable logic word Logic zero Logic, Algebra and Truth Degrees Logic, Domains, and Programming Languages Logic, Law of logic, many-valued logic, many-valued Logic, Methodology and Philosophy of Science Logic, Modal Logic, Modal logic, philosophy Logic, Rationality and Interaction logic-arithmetic unit Logic-based Program Synthesis and Transformation Logic-Based Switching Logic-Evolved Decision Model logic-seeking printer Logic-system Logic-system Logic-systems Logic-systems Logic/alternate-start Logic/alternate-start Logic/alternate-start Logic/alternate-start Logic/Logical Channel Logica logical logical logical

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.