VDict - Definition of Horn logic

search result for Horn logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

glue Sequential Parlog Machine CLP(sigma*)Boolean algebra paraconsistent probability neutrosophic probability model checking tautological probability Charme LIFE channel service unit Isabelle Transistor-Transistor Logic combinatory logic George Boole TABLOG CLP(R)APPLOG fuzzy logic HiLog three-tier Xilinx, Inc.Xilinx Netlist Format EPILOG tautological set asynchronous logic Wild_LIFE ELP A'UM Constraint Logic Programming Parlog++PAL logic gate instantiation Neutrosophy neutrosophic set scan design abduction unification horizontal encoding central processing unit constructive Interest Group in Pure and Applied Logics GHC vertical encoding Triton PHOCUS Trilogy Laboratory INstrument Computer scan register handwave Subset-Equational Language Guarded Horn Clauses occurs check O-Logic accumulator OBJ0 Simulating Digital Systems MALI PLTL CPLD complexity analysis resolution ET mill ALF LOTIS Sure ALU MegaHertz Programmable Logic Controller Very Large Scale Integration Probe LDL HCPRVR Logic for Computable Functions skolemisation Prolog axiom LTL

First < Previous 1 2 3 4 5 Next > Last