The predicate = takes two arguments and tries to unify them. For each of the following: · Specify whether the query submitted to Prolog succeeds or fails · If it succeeds, specify what is assigned to any variables.