Going further down the rabbit hole with Logic Programming

OK all set for this meetup, so you can recognise me I'll be the one wearing this stylish grey SWI Prolog hoodie! http://www.cafepress.com/swiprologshop.787256306

Updated with schedule:

Arrive around 6pm at the Mill Pub, to start the talks at 6.10pm. I have booked the side room / snug area for us which is on your left as you enter the Pub from Mill Lane.

6.10 - 6.40:
Stewart Sims - Intro to Prolog and real world applications

6.50 - 7.05:
Miëtek Bak - Logic programming in Haskell

7.20 - 8.00:
Toby Crayston - Prolog in a web based API

I will order some snacks for us and get hold of a projector, the pub serves good food, so feel free to order some while you're there. I don't expect it but if you want to chip in for the cost of snacks please let me know.

Hope to see you all there, but please can everyone update their RSVP asap if your availability changes.

Broadly speaking functional and logic programming languages have a lot in common - both being declarative 'paradigms'. Would the NonDysFunctional Programmers be interested in a few talks on logic programming to whet their appetite?

I've been in touch with a couple of people who might be able to give some quick talks one evening on the technical aspects as well as some commercial applications, and I'd be happy to do the same also. Plus some of you may well want to share your own experiences of the embedded logic features of some of the modern functional languages out there. So if anyone's interested please let me know!