implement Variable to Atom mutation

[jvoigtlaender]

For example, mutating

brother(X,Y) :- male(X),child(X,Z),child(Y,Z),X\=Y.

to

brother(X,Y) :- male(X),child(X,Z),child(Y,Z),x\=Y.