Prelog module moved to a separate package.