VDict - Definition of constraint logic

search result for constraint logic in Computing (FOLDOC) dictionary

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

Polka ones complement Qu-Prolog ALLIANCE QWERTY twos complement Andorra Kernel Language proof complement intelligent backtracking bound variable PowerPC 601 Stone Age green lightning content addressable memory MLISP G guard Z machine cycle formula modal latch DACTL SPEC CINT92 presence detect POOL2 DeMorgan's theorem induction LPG Active Reconfiguring Message combinator flip-flop sound fork bomb \begin CORAL declarative language race condition fix Stephen Kleene VULCAN memory leak exception Advanced Micro Devices, Inc.JK flip-flop symbolic inference for loop Amulet scan path ALLOY backtracking Quantum-dot Cellular Automata orthogonal Infinite Monkey Theorem time bomb database screen scraper bomb neats vs. scruffies free variable Advanced RISC Machine linear type ALPS ML Milarepa Pentium NPL lambda-calculus IAS Cellular Neural Network minicomputer PROgrammed Graph REwriting Systems gray code Universal Serial Bus JavaServer Pages C+-curried function Enterprise JavaBeans monitor

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