Dictionary    Maps    Thesaurus    Translate    Advanced >   


Tip: Click Thesaurus above for synonyms. Also, follow synonym links within the dictionary to find definitions from other sources.

1. The Free On-line Dictionary of Computing (30 December 2018)
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)".

   (1995-03-14)


Common Misspellings >
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.

©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy