Fixing prolog gen again?