Experimental combination of core.logic and core.matrix to allow reasoning with vectors / mathematical expressions