معلومات المقرر الدراسي

This course serves as an introduction to the fundamental principles and practical applications of logic programming, with a focus on the Prolog language. Students will explore the concepts learned in the logic course and apply them in the context of programming.

The course begins with an overview of logic programming, highlighting its declarative nature and its significance in problem-solving and artificial intelligence. Students will gain an understanding of the logical foundations behind Prolog and its unique approach to programming.

Throughout the course, students will engage in hands-on activities and coding exercises to develop their skills in Prolog programming. They will learn how to define logical rules, use pattern matching, and leverage the power of backtracking and unification to solve problems.

The curriculum will include the study of various topics, including recursive programming, list manipulation, logical inference, and rule-based systems. Students will also explore the integration of Prolog with other areas of computer science, such as language theory, analysis, and compilation.

Real-world examples and case studies will be presented to demonstrate the practical applications of logic programming, including expert systems, natural language processing, and automated reasoning.

Learning Objectives:

1- Introduction to logic programming: applying certain concepts learned in the logic course.

2- Exploration of Prolog programming: using examples related to the language theory and analysis and compilation courses."