It's definitely a deliberate leap back to the old logical/symbolic era of AI.

Not mentioned in the article is that logic makes it much easier to emit "proofs" that end users like physicians can understand.