Prelog module added.