added \=/2 - resolves #6

Evaluates to true if terms are not Prolog unifiable.