"prolog podprogramu"@cs .