Zoom is a web application that allows users to learn and explore first order logic by creating a world, populating it with objects, and making logical assertions about those objects.