Logic Building In Programming Language