How to build logics in programming