Logic modules

Finished the logic module and updated the licensce to link with libguile.