Translation
powered by 
search result for Distributed Logic Programming in Computing (FOLDOC) dictionary
TrilogyStrandGoedelEaseJoyceBeBOPVienna FortranQArgusAndorra Kernel LanguagePALmodel checkingparanoid programmingOzdatabaseParlog++Emitter Coupled LogicF+Ldistfixdistributed systemsymbolic logiclinear typeCS-PrologEQLOGMALILoglan'82classical logicliterate programminglinear logicETfirst-order logicabductionSureVULCANlogic emulatorvisual programming environmentCLPintuitionistic logicP-PrologProlog-2CSMfor loopTAOMuseCPoperatorintuitionistic probabilityTYPOLLPSObjectBrokerTornadoTypedPrologCLP*CCLUArtifexSAPIHOLlogic bombSpoolGoffinN-PrologFreshModular PrologSoftware through PicturesSASL+LVECLStarsetPOSYBLSRLRM-ODPnegation by failureMandalaKAPHorn clauseBooleanUranusgeneric programmingKaliHaskell CurryConC