make two functions public in SWIPrologDatabase > update versions