changed Rubylog::Theory to be a module
changed theory creation mechanism
enabled use of bound variables in nested demonstrations
fixed a theory inclusion bug
RSpec integration
Version bump to 1.1.0
reorganizing files
fixed bin/rubylog
implemented .ensure{}, .assumed and .together{}
fixed catching cut in queries
implemented +- arithmetics
asserta in assumptions, reject, assumes_i
fixed .is(,,)
updated print_trace
updated checkmate example
implemented .revoked
Theory#solve without a block
added coverage to logic
updated checkmate example
removed 'set' dependency