Logical Program In C