Functional, Logic, and Constraint Programming languages have proved very successful for developing complex applications ranging from electronic circuit design to machine learning, complex scheduling problems, agents, or the semantic web.
Recently, multiparadigm programming systems have been developed that allow the use of features of all these programming paradigms in a combined way, and some include also features from imperative, object-oriented programming.
Also, significant progress has been made in the context of these languages for a) automatic verification and debugging, and b) developing concurrent applications and for the automatic exploitation of parallelism and resource control in high-performance computing systems.
