prolog-programm: