VDict - Definition of Horn logic

search result for Horn logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

inference Haskell Curry implies southbridge paradox MRS complete inference system neutrosophic statistics LYaPAS logical complement RefLisp Extended Concurrent Prolog D-type flip-flop HASL Cube PPLambda fuzzy subset cognitive architecture Western Digital Corporation Intel 80186 Modular Prolog REGTRAL converse most general unifier Conjunctive Normal Form 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 Qu-Prolog ALLIANCE twos complement Andorra Kernel Language proof complement intelligent backtracking bound variable PowerPC 601 Stone Age green lightning content addressable memory MLISP Oz G incremental constraint solver 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 declarative language race condition fix Stephen Kleene

First < Previous 1 2 3 4 5 Next > Last