Declarative prototyping Declarative prototyping We present a simple programs development methodology based on mathematical induction, declarative prototyping, procedural…