Ostara Ostara is a simple, automated theorem prover for first-order logic. It is based on the resolution method and is implemented in Haskell.