The Bible as a Logic Engine