%Example of prolog developed by Dr. Klerer, CSUSB preorder(X,[X]) :- atomic(X). preorder([X; [Y; Z]],[X,Y1,Z1]) :- preorder(Y,Y1), preorder(Z,Z1). :-print('preorder(X,Y) is loaded').