Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations An Introduction to Logic Programming on the JVM with core.logic (Clojure)

An Introduction to Logic Programming on the JVM with core.logic (Clojure)



Edmund Jackson discusses the Goals, Logic Variables, Constraints, and Compositions that form the foundation of Logic Programming using Clojure examples.


Edmund Jackson is an independent consultant specializing in statistical and financial software. After completing a PhD in Bayesian statistics at Cambridge he worked in the hedge fund industry for several years before striking out on his own. Edmund works mainly in functional languages such as Clojure, Mathematica and R and has recently started exploring logic programming.

About the conference

Intended to be hands-on and interactive, FP Days gives you the opportunity to share experiences with others, find out more about the latest available tools and techniques, network with your peers and have a thoroughly enjoyable experience.The event has a strong, practical focus on learning more about the principles of Functional Programming, using it effectively and exploring possibilities with current FP technologies.

Recorded at:

Jan 28, 2013