Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations Molog: Typed Functional Logic Programming in Haskell

Molog: Typed Functional Logic Programming in Haskell



Adam C. Foltzer introduces Molog, a typed functional logic programming language written in Haskell.


Adam C. Foltzer is a life-long Schemer and current Haskeller who works in Research and Engineering at Galois, Inc. He learned relational programming from Professor Dan Friedman and Dr. Will Byrd while at Indiana University, and continues to work on it professionally and as a hobby.

About the conference

The miniKanren Confo is a special 4 hour conference about logic programming (in particular miniKanren). Dan Friedman and Will Byrd (co-authors of the Reasoned Schemer) will provide a keynote. The list of sessions can be found on the Clojure/West site.

Recorded at:

May 28, 2013

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p