Abstract
Logic programming is a declarative programming paradigm and very different from the actual conventional programming. A Logic programming developer only needs to specify the problem statements and the logic programming system finds the solution to that problem based on the provided information. Though there are few logic programming languages but Prolog is widely used logic programming language. The main objective of this project is to provide a web interactive courseware to learn key concepts of logic programming and prolog. This project particularly focuses on Logic Programming section of course CSC 135 Computing Theory and Programming Languages at CSUS. In this course students only have two weeks to cover the important fundamentals of this subject area and it is too expensive for students to purchase the textbook. In that case this courseware will provide explanation of important topics of logic programming and prolog with examples, and will also serve as a good platform for any user to find the related resources on Logic Programming. In summary, this project covers essentials of Logic programming and Prolog in the following topics : relation between logic programming and prolog, basics of prolog programming, explanation of unification and instantiation, illustration of resolution refutation system, representation of a deduction trees of resolution, conjunction and backtracking search process and explanation of cut and negation; furnished with set of examples with detailed explanations, set of quizzes and set of practice exercises for each covered topic to solve and solutions to all problems in quizzes and exercises.