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

Logic Night

Come learn how programming can be made even more declarative with logic programming.  Don't miss this opportunity to learn from William Byrd!

6:00 - 6:30pm Introductions and dinner

We'll use this time to get to know each other and find out what interesting problems people are solving. Dinner will be provided. Please RSVP so we can arrange for the dinner.


Dinner is sponsored by SpinGo.


We believe that local entertainment is one of the richest ways to experience life and connect with our community. It’s a place where friends and memories are made. We help people discover what events they can attend in their local community via a vast growing network of 700+ media partners, partners including The City Weekly and the New York Daily News. At SpinGo, we have a deep emphasis on the functional programming paradigm, and work on a variety of problems, including big-data analytics (lambda architecture), and a content aggregation database using CQRS and Event Sourcing, providing merging and roll-back of various content sources.


Lightning Talks

TBD, if you have something you would like to share (in ~5 mins) please email [masked].


Relational Programming in miniKanren by William Byrd

A gentle introduction to relational programming (also known as pure logic programming), using the miniKanren programming language.  miniKanren is the subject of 'The Reasoned Schemer' (MITPress, 2005), and the basis for David Nolen's popular Clojure library, core.logic.

Relational programming makes no distinction between a function's "input" and "output".  For example, in relational programming we can write '3 + 4 = x'.  Here, x is a logic variable that is associated with 7.  We can also write '3 + x = 7'.  In this case, x is associated with 4; the '+' relation can perform subtraction.  More interestingly, we can write 'x + y = 7', which returns all pairs of integers x and y that sum to 7.  We can even write 'x + y = z', to enumerate all triples of integers whose first two values sum to the third value.

The real fun begins when we write interpreters in a relational style, as we shall see!

The talk will be divided into two parts:  a gentle introduction to logic programming and miniKanren, followed by a demonstration of more advanced uses of miniKanren, including automatic generation of programs from their logical specifications.

About William Byrd

William Byrd is a Postdoctoral Researcher in the School of Computing at the University of Utah. He is co-author of 'The Reasoned Schemer', and co-designer of several declarative languages, including miniKanren.

Join or login to comment.

  • Tim H.

    [JOB]

    Hey guys, it's SpinGo. (Lambda lounge sponsor for meet up before last). Ben gave me permission to plug our company again, so here goes:

    We LOVE working in our technology stack and we LOVE the product we're working on.

    Brief overview of tech:

    - Scala (lean heavily towards the functional paradigm)
    - Spray, akka, slick. (Slick is amazing! see: http://is.gd/KheK8X)
    - ElasticSearch cluster
    - UNIX philosophy applied services and apps
    - We're reactive
    - Continuous deployment, lean-manufacturing process, etc.

    Our product:

    - Nation's best event database
    - +1,000 partners from coast-to-coast
    - Developing revolutionary products that boost us even further past the competition
    - Garnering significant attention from behemoth sized companies.

    We're funded, we're hyped, we're diverse, we're going places. Join us!

    Job is on-site, Draper. If you're curious, let's talk more, over lunch, climbing, your kid's sports game, beer, etc.

    [masked]

    June 13, 2014

  • Harold C.

    Super! Will really knows his stuff!

    May 13, 2014

  • Ben M.

    We will be having door prizes (books) at this meeting. To be entered into the drawing you have to make a comment or new post on our subreddit for future meeting topics: http://www.reddit.com/r/LambdaLoungeUT/ A simple upvote won't count (since I can't get that info from Reddit) but please take the time to upvote all the topics you are interested in seeing. Please volunteer for the topics that you'd like to present on by commenting.

    1 · May 8, 2014

    • Levi

      I've commented and upvoted and added a link or two. Looks like I'll be winning a lot of books unless some others get to it as well. ;)

      May 9, 2014

  • Harold C.

    Check out recent interview with William Byrd: http://bit.ly/1kNGEqf in preparation for his presentation next week.

    1 · May 7, 2014

    • Ben M.

      Great interview, thanks for sharing!

      May 8, 2014

  • Jeff R.

    It looks like there is significant emphasis on functional programming at this year's "Salt Lake Software Symposium" (part of the "No Fluff Just Stuff" tour). There are sessions on Scala, Clojure, Java 8, Google Guava, Akka, and "Functional Thinking". Speakers include Stuart Halloway and Neal Ford. See http://nofluffjuststuff.com/conference/salt_lake_city/2014/06/home. I would recommend it to those who can talk their employers into paying the $900.00 bill.

    May 6, 2014

No one went

Our Sponsors

  • Red Brain Labs

    Recording gear for the meetings, occasional meals, misc. costs

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