Add necessary prolog modules.