で、prologで何ができるの?