Corey Haines introduces Prolog, its syntax, the solver model, along with code samples on list operations to find all the combinatorial variations of a list using the function isMember.
Kevlin Henney examines functional and declarative programming styles from the point of view of coding patterns, little languages and programming techniques already familiar to many programmers.
Tom Stuart takes a look at some modern examples of declarative programming and explores how it can help with the applications built today.
Crista Lopes demos writing the same program using multiple styles, showcasing the richness of human computational thought and the need to avoid being stuck with one or two styles for life.
Molham Aref introduces LogicBox, a database that unites declarative programming (logic-based specifications) with cloud deployment over large datasets using the Datalog programming language.
Nimrod is a statically typed programming language that tries to give the programmer ultimate power without compromises on runtime efficiency.
Hans Dockter discusses build systems from a declarative vs. imperative perspective, the importance of a rich execution model and problems with POM, providing examples from Gradle, Maven and Ant.
Achim Demelt discusses creating a UI using a completely declarative DSL called S4 without flow control, events or data binding.
Wim Bast introduces Declare, a new declarative, functional OO language, demoing some of its main features.