Translation
powered by 
search result for Constraint Logic Programming in Computing (FOLDOC) dictionary
field-programmable gate arrayIlog SolverStrandBeBOPDCPCCPAndorra Kernel Languagemodel checkingparanoid programminglinear programmingconstraint satisfactionConcurrent Constraint ProgrammingCFPParlog++Emitter Coupled LogicF+LJunosymbolic logiclinear typeEQLOGMALIScreamerLoglan'82integrity constraintclassical logicliterate programminglinear logicETfirst-order logicConsulabductionSureVULCANlogic emulatorgraph colouringvisual programming environmentintuitionistic logicP-PrologProlog-2for loopTAODLPMuseCPoperatorintuitionistic probabilityTYPOLLPSProlog++TypedPrologSAPIHOLlogic bombSpoolN-Prologmodal logicFreshSASL+LVECLSRLnegation by failureMandalaKAPTurbo PrologHorn clauseDelta-PrologBooleanUranusgeneric programmingHaskell CurryMRSconnectiveLYaPASlogical complementArithmetic and Logic UnitHASLTempuraGarnetNOWEBREGTRAL