VDict - Definition of predicate logic

search result for predicate logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

REFINE Turbo Prolog OR TTL Sequel Delta-Prolog Boolean Logic Design Language Uranus inference Haskell Curry implies southbridge paradox complete inference system MRS neutrosophic statistics LYaPAS logical complement Extended Concurrent Prolog D-type flip-flop HASL Cube fuzzy subset cognitive architecture Western Digital Corporation Intel 80186 Modular Prolog REGTRAL converse most general unifier Conjunctive Normal Form SORCERER LAURE Andorra-I white box testing QLOG real estate Leda Strand applicative language transistor deductive database backward chaining gate BeBOP Standard ML of New Jersey Generic Expert System Tool Polka ones complement ALLIANCE twos complement Andorra Kernel Language proof complement intelligent backtracking bound variable PowerPC 601 Stone Age green lightning content addressable memory MLISP Oz G guard incremental constraint solver machine cycle modal latch DACTL SPEC CINT92 presence detect POOL2 DeMorgan's theorem induction LPG Active Reconfiguring Message combinator flip-flop sound

First < Previous 1 2 3 4 5 Next > Last