Do following terms unify in SWI prolog? If so, give the most general unifier.
bread en bread'Brood' en bread'bread' en breadBread en breadbread en bickyeat(bread) en breadeat(bread) en Xeat(X) en eat(bread)eat(bread,X) en eat(Y,bicky)eat(bread,X,coke) en eat(Y,bicky,X)eat(bread,X,coke) en eat(Y,pizza)eat(X) en Xmeal(eat(bread),drinken(coke)) en meal(X,Y)meal(eat(bread),X) en meal(X,drinken(coke))You can verify your solutions in swipl by concatenating the terms with a =.
The program will then show you the most general unifier. If false is shown,
no unifier was found. A result of true is short for the empty unifier.