Title: Design and the art of programming in logic