Logic programming to infer complex RNA expression patterns from RNA-seq data. (7th December 2016)