Title: Techniques in Prolog Programming SW Ibm5 2xd3