Translation
powered by 
search result for Algebraic Logic Functional language in Computing (FOLDOC) dictionary
QOctavecompilerRTLTypedPrologETCELPAndorra Kernel LanguageKL0logic variableSequential Parlog MachinePonderLambda PrologCTLJAlflAdLogCLP(sigma*)StaplePDLFQLFreshARTLispkitTALEside-effectSRLPrometheusKernel ParlogREDUCEABCHiLogtupleConcurrent Massey HopeInternational Algebraic Languagehorizontal encodingEPILOGCHARITYCubePPLambdaEmitter Coupled Logicinstruction set architectureRUTHASLASFmodel checkingfunctional unitvertical encodingprogramming languageConcrete Data Structurelogic programmingAndorra-IALGEBRAICProgrammable Array LogicTEMPLOGGoferconstructorIAMsingle assignmentLispStrandJoyLOOKJanusPop-11BeBOPGlasgow Haskell Compilerfirst class moduleclassical logicQu-Prologlinear logicParlog++overloadingAIDAlambda-calculusPL/I-FORMAClogic emulatorscan registerPortable Standard LispId Nouveau