VDict - Definition of logic variable

search result for logic variable in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

quantifier logic variable bound variable instantiation F+L free variable neutrosophic logic Constraint Handling In Prolog unification first-order logic logic occurs check propositional logic HiLog predicate logic equational logic volatile variable EQLog Emitter Coupled Logic Algebraic Logic Functional language LeFun initialise Programmable Array Logic TEMPLOG symbolic logic LO environment variable Boolean classical logic linear logic logic programming BABEL bracket abstraction singleton variable logic emulator intuitionistic logic P-Prolog Lolli LOGIN intuitionistic probability lambda abstraction HOL intelligent backtracking modal logic generic type variable Distributed Logic Programming Hungarian Notation Oz accumulator lambda lifting Horn clause {log}hook shallow binding two-valued logic connective HCLP evolution strategy field-programmable gate array Arithmetic and Logic Unit Tempura schematic type variable name capture combinator intuitionist logic Gunning Transceiver Logic Universal algebra Terse PRISM [incr Tcl]LML ObjVProlog LOP Lambda Prolog Built-in Self Test F-Logic Generic Array Logic Smarandache logic L&O ZX-81

First < Previous 1 2 3 4 5 6 7 Next > Last