VDict - Definition of logic program

search result for logic program in Computing (FOLDOC) dictionary

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

neutrosophic logic model checking Lolli Baroque assertion Arithmetic and Logic Unit propositional logic LML predicate logic equational logic white box testing EQLog logic Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Programmable Array Logic TEMPLOG symbolic logic LO breakpoint complexity analysis classical logic linear logic first-order logic exception cuspy BABEL logic emulator intuitionistic logic P-Prolog LOGIN intuitionistic probability goal PDL quantifier HOL modal logic Advanced STatistical Analysis Program Distributed Logic Programming demon fatal exception monitor Horn clause {log}toy program volatile variable checkpoint supercompilation demented two-valued logic Constraint Handling In Prolog connective Subset-Equational Language HCLP fatal error field-programmable gate array Tempura decidability intuitionist logic Gunning Transceiver Logic Universal algebra infinite loop Terse PRISM refactoring ObjVProlog LOP Lambda Prolog Built-in Self Test parallel random access machine backward chaining F-Logic SMOP Generic Array Logic Smarandache logic L&O ZX-81 single program/multiple data

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