D
Deductive programming