VDict - Definition of constraint logic

search result for constraint logic in Computing (FOLDOC) dictionary

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

Constraint Handling In Prolog Constraint Logic Programming incremental constraint solver CLP(R)definitional constraint programming Echidna CLP(sigma*)Oz CLP*HCLP GAPLog Goffin Trilogy neutrosophic logic Charme LIFE Janus Goedel propositional logic Siri constraint CLP predicate logic equational logic Bertrand BABYLON BNR Prolog Wild_LIFE EQLog constraint satisfaction logic Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Juno Kaleidoscope Lucy Programmable Array Logic TEMPLOG symbolic logic LO ThingLab integrity constraint classical logic linear logic first-order logic Consul BABEL logic emulator graph colouring intuitionistic logic P-Prolog ConstraintLisp Lolli LOGIN intuitionistic probability quantifier HOL modal logic Distributed Logic Programming Q Horn clause {log}two-valued logic connective field-programmable gate array Arithmetic and Logic Unit Tempura intuitionist logic Gunning Transceiver Logic Universal algebra Terse PRISM LML ObjVProlog LOP Lambda Prolog Built-in Self Test F-Logic

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