Programming & Logic Club - 2

Statement of Objective:

The programmer is responsible, not only for ensuring the truth of programs, but also for ensuring their efficiency. In many cases, to achieve efficiency, the programmer needs to be aware of and to exploit the problem-solving behavior of the theorem-prover. In this respect, logic programming is like conventional imperative programming, using programs to control the behaviour of a program executor. However, unlike imperative programs, which have only a procedural interpretation, logic programs also have a declarative, logical interpretation, which helps to ensure their correctness. Moreover, such programs, being declarative, are at a higher conceptual level than purely imperative programs; and their program executers, being theorem-provers, operate at a higher conceptual level than conventional compilers and interpreters.The objective of this club is to make students aware of the various aspects of efficient problem solving.

Chief Mentor :
        Mr.Thomas Varghese

Faculty & Staff Mentors:
       Prof. Sandhya Ramakrishnn
       Ms. Jisha C Thankappan

Club Committee :
President : Shan V Mohammad (S8 CSE)
Vice President : Litty Mathew (S8 CSE)
Secretary : Ponnu P Babu (S6 CSE)
Joint Secretary : Maya Abraham (S4 CSE)
Treasurer : Anish P M (S6 IT)

Steering Committee Members :
Neethi Mariam Jacob (S6 CSE)
Mejo James (S4 CSE)
Jibin Mathew (S6 IT)
Sherhana  Shihab (S4 IT)
Santo Antony (S1S2 F)

List of Club Members