UNIT 5 5.1 Prolog 5.2 Abstract Data Types (ADTs) in Prolog %%%%%%%%%%%%%%%%%%% stack operations %%%%%%%%%%%%%%% % These predicates give a simple, list based implementation…