how about coding the rules of christian theology as RDF inference engine?

I imagine some funcitonal programming like

class Leo {

run() {
try{
doLive()
} catch (ShitHappens shit) {
God.pray();
}
}

/**
* if i die, i join god until eternity, god never finishes running
*/
die() {
God.join();
}

}


more to come-

the goal is to have an engine, that can interpret the bible and inferences the locigal outcome of events,
f.e.
if (KingDavid.stealsWife(bethseba)
shitHappens()