Programovanie v Prologu - Návrat, Pavol 1952- (Dom techniky ČSVTS, 1989)