logic variable

L l

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of logic variable words

noun Technical meaning of logic variable (programming) 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)". 1

Just one definition for logic variable

Information block about the term

Parts of speech for Logic variable

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Logic variable

See also

All definitions of logic variable

Matching words

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?