Prolog rules moved to root folder.