Has the Bible been converted into Prolog clauses to allow computer-aided theological reasoning?
#bible #biblestudies #computeraidedtheology #theology #theologicalreasoning #logicprogramming #prolog #prologprogramming #deductivetheology #holybooks #religion #mathematicaltheology #logicaltheology #religiousstudies