Draft (Version ) Eelco Dolstra LogicBlox 2008-2012 Eelco Dolstra