Add full package list for prolog