Prolog is based on the logic programming paradigm, which is very different from the functional and imperative paradigms that we’ve explored earlier. Instead …