VDict - Definition of Horn logic

search result for Horn logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

Horn clause Algebraic Logic Functional language EQLog LO neutrosophic logic EQLOG propositional logic predicate logic equational logic definite clause logic Emitter Coupled Logic F+L logic programming LeFun Programmable Array Logic TEMPLOG symbolic logic classical logic linear logic first-order logic BABEL guard logic emulator intuitionistic logic P-Prolog Siri Lolli LOGIN intuitionistic probability CORAL quantifier HOL modal logic Distributed Logic Programming {log}two-valued logic Constraint Handling In Prolog connective HCLP 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 Generic Array Logic Smarandache logic L&O ZX-81 Baroque proof theory logic variable assertion Lambada-Calculus Pandora Gottlob Frege Boolean logic temporal logic GAPLog SFLV PRL Parlog metalanguage AND Echidna fact IC-Prolog Goedel FUNLOG LEAF CELP

First < Previous 1 2 3 4 5 Next > Last