VDict - Definition of constraint logic

search result for constraint logic in Computing (FOLDOC) dictionary

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

CTL Spool definite clause N-Prolog lemma goal AdLog M-Prolog PDL LDT Cirrus Logic Fresh quantum computer propositional calculus fuzzy computing predicate calculus Wesley Clark functional unit SASL+LV PowerFuL fixed point combinator ECL application server Quty CIRcuit CALculus SRL Prometheus negation by failure truth table Mandala Kernel Parlog KAP REFINE Turbo Prolog OR TTL Sequel Delta-Prolog Boolean Logic Design Language Uranus inference Haskell Curry implies southbridge paradox MRS complete inference system neutrosophic statistics LYaPAS logical complement D-type flip-flop Extended Concurrent Prolog HASL Cube PPLambda fuzzy subset cognitive architecture Western Digital Corporation Intel 80186 Modular Prolog REGTRAL most general unifier converse Conjunctive Normal Form LAURE Andorra-I white box testing QLOG real estate Leda Strand applicative language transistor backward chaining deductive database gate BeBOP Standard ML of New Jersey Generic Expert System Tool

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