So my talk sort of explores how you can actually play with these ideas in a functional programming context, you can actually take logic programming and constraints and you could just mix it up with functional programming and I think it???s pretty cool.