Prologにはカプセル化がない