Given a Formulog program, there are many different ways to evaluate it. These pages describe the primary options supported by our current implementation of Formulog.