addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1light-bulblinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Going further down the rabbit hole with Logic Programming

  • Apr 11, 2013 · 6:00 PM
  • This location is shown only to members

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!

Join or login to comment.

  • Marco

    Thanks for the talks, I learnt a good deal about Logic Programming.

    April 12, 2013

  • A former member
    A former member

    Enjoyed seeing Prolog and Haskell problem-solving usage highlighted

    April 12, 2013

  • Ray M.

    Interesting to see what people are doing with Prolog in the real world.

    April 12, 2013

  • Mike T.

    Thanks for all the talks, all very interesting.

    April 11, 2013

  • Matthew A.

    Sounds like fun

    April 7, 2013

  • Mark D.

    Sorry, I'm running the Code Generation conference this week.

    April 7, 2013

  • Tomas P.

    Oh no, the time overlaps with the F# meetup in London :-( http://www.meetup.com/FSharpLondon/events/110422612/

    April 5, 2013

  • A former member
    A former member

    Plan to be there. Lee

    April 4, 2013

  • A former member

    A former member changed the location for this Meetup

    March 27, 2013

  • Miëtek B.

    If anyone's interested, I could give a brief talk (15 minutes plus discussion) about using the Haskell type system (functional dependencies and/or type families) to do logic programming at compile time.

    1 · March 26, 2013

  • A former member

    A former member changed the date and time to Thursday, April 11, 2013 at 6:00 PM

    March 7, 2013

13 went

Our Sponsors

  • O'Reilly

    * Review copies of books * 40% off printed books and 50% on e-books

  • Metail

    Supporting costs of this Meetup, venue and drinks at many events.

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy