Translation
powered by 
search result for Logic Programming Associates in Computing (FOLDOC) dictionary
combinatorLoglan'82classical logicliterate programminglinear logicETfirst-order logicabductionSureVULCANlogic emulatorvisual programming environmentCLPintuitionistic logicP-PrologProlog-2for loopTAOPEARLDLPMuseCPoperatorintuitionistic probabilityTYPOLLPSTypedPrologCLP*SAPIHOLlogic bombSpoolGoffinN-Prologmodal logicFreshSASL+LVECLSRLnegation by failureMandalaKAPTurbo PrologHorn clauseDelta-PrologBooleanUranusgeneric programmingHaskell CurryMRSconnectiveLYaPASlogical complementArithmetic and Logic UnitHASLTempuraNOWEBREGTRALintuitionist logicGunning Transceiver LogicUniversal algebraPRISMTerseLAUREAndorra-IConCoordLOPwhite box testingQLOGBuilt-in Self TestLedaF-LogicGeneric Array Logicapplicative languageSmarandache logicbackward chainingZX-81BUGSYSTEMPOFP