Parses queries like: ?- X = ~(1,1). partly resolves #36