Describir: PROLOG - programming for tomorrow /