I describe a family of programming languages based on the concurrent
constraint programming (CCP)
paradigm. These include timed ccp and hybrid ccp. Timed ccp is
intended for programming reactive
systems and hybrid ccp for modelling hybrid systems described by
differential equations. Finally I
will describe the language prob cc which is a language for modelling
probabilistic systems. I will
begin by stressing the links between ccp and logic hence the title. I
will not discuss the semantics
of the languages but will focus on programming aspects.