Hi everyone I'm new to Prolog and I'm trying to complete an exercise on Learn Prolog Now, this is the exercise:
Defineapredicategreater_than/2thattakestwonumeralsintheno- tation that we introduced in this lecture (i.e. 0, succ(0), succ(succ(0)) ...) as arguments and decides whether the first one...