Translation
powered by 
search result for first orderpredicate logic in Computing (FOLDOC) dictionary
LDL1CLPProlog-2complex programmable logic deviceTAOCS-PrologBABYLONDLPGALsentenceMuseiffFlengLogic Replacement TechnologyCPoperatorGigaHertzTYPOLLGENNOTLPSBNR PrologOcProlog++nanocomputerRTLTypedPrologtautologyCLP*KL0northbridgecomplete theoryMMIlogic bombCTLSpooldefinite clauselemmaN-ProloggoalAdLogM-PrologPDLLDTCirrus LogicFreshpropositional calculuspredicate calculusfuzzy computingWesley Clarkfunctional unitSASL+LVfixed point combinatorPowerFuLECLapplication serverQutyCIRcuit CALculusSRLPrometheusnegation by failureMandalatruth tableKernel ParlogKAPREFINETurbo PrologORTTLSequelDelta-PrologBooleanLogic Design LanguageUranusinferenceHaskell CurryimpliessouthbridgeparadoxMRS