Proposal for Presentation: Intro to core.logic

3 views

Skip to first unread message

Gary Trakhman

unread,

Jan 26, 2012, 6:02:58 AM1/26/12

to balti...@googlegroups.com

This talk will be an effort to provide a theoretical basis for understanding rules engines and a demonstration of core.logic, David Nolen's fantastic clojure logic engine inspired by Friedman and Byrd's miniKanren and "The Reasoned Schemer".

John Szakmeister

unread,

Jan 26, 2012, 6:43:48 AM1/26/12

to balti...@googlegroups.com

Also sounds great! I just picked up The Reasoned Schemer. Hope to
get to it in the near future. :-)

-John

Blaine Nelson

unread,

Jan 26, 2012, 10:00:40 AM1/26/12

to Baltimore Functional Programming

Yeah, this sounds really good.

On Jan 26, 6:43 am, John Szakmeister <j...@szakmeister.net> wrote:

Reply all

Reply to author

Forward

0 new messages