Aprvr: a priority-ordered agenda theorem prover