Hands-on logic programming with core.logic

A session at FP Days 2013

Friday 25th October, 2013

1:15pm to 2:45pm (GMT)

Moving from OOP to FP often removes complexity, making code easier to write, read and reason about. The paradigm shift has enabled programmers to be more productive, and hopefully it has made people more open to reconsidering the fundamentals of the tools they use to solve problems. The question is: what is the next big paradigm in programming? and how does it relate to FP?

Logic programming (LP) offers a declarative way of programming. The shift from FP to LP is very similar to the shift from OOP to FP, in that is makes programs more declarative and easier to reason about.

core.logic is a Clojure library which enables programmers to write logic programs in Clojure by combining principles from both OOP and FP with logic programming. In this hands-on session we are going to help you through understanding the fundamentals of core.logic, and to write your first logic program on your own machine. We assume you have some (but possibly very little) experience with programming Clojure or another Lisp, but no prior knowledge of any logic programming is assumed.

The goals of the session are to enable you to:
* Use fundamental tools in logic programming
* Combine FP, OOP and logic programming in a single codebase
* Identify which problems are well suited for logic programming, and which are not
* Solve a set of problems handed out by the end of the session (at your leisure)

About the speaker

This person is speaking at this event.
Thomas G. Kristensen

Software developer at uSwitch

Sign in to add slides, notes or videos to this session

FP Days 2013

England England, Cambridge

24th25th October 2013

Tell your friends!


Time 1:15pm2:45pm GMT

Date Fri 25th October 2013

Short URL


Official event site


View the schedule



See something wrong?

Report an issue with this session