This program focuses on Meta-interpreters in Prolog, a powerful technique for understanding and manipulating Prolog programs. You will learn how to build meta-interpreters that can interpret, evaluate, and even modify the execution of Prolog code. This involves understanding concepts like clause trees, built-in goals, and loop detection mechanisms. The course explores advanced topics such as iterative deepening search and graphical representation of program execution. Through hands-on exercises and modifications of existing meta-interpreters, you will gain practical experience in designing and implementing custom control mechanisms for Prolog. This program provides a deep dive into the declarative nature of Prolog and how to leverage its meta-programming capabilities for complex problem-solving.
The curriculum delves into various aspects of meta-interpreters in Prolog, starting from basic concepts and progressing to more advanced techniques. Key areas of study include:
While this program focuses on the theoretical and practical aspects of meta-interpreters in Prolog, the skills gained are highly transferable to various roles in software development, artificial intelligence, and computer science research.
Specific academic requirements for this program are not detailed, but a strong foundation in programming logic and potentially prior exposure to logic programming concepts would be beneficial. Please refer to the general admission requirements for international students.
A registration fee of 375 USD (including VAT) must be paid in addition to the tuition fee. Scholarships may be available, reducing the payable tuition fee. Tuition fees are subject to change and are for non-scholarship students. Fees listed are for the Northern Cyprus Campus.
For the 2025-2026 academic year, the tuition fee is 9450 USD (including VAT). A separate registration fee of 375 USD (including VAT) is also required. These fees are for new, non-scholarship students and are subject to change.
The programme content details a curriculum structured into years, with Year 1 modules specified. The overall degree duration is not explicitly stated in the provided data.
Applicants must have successfully completed secondary education, holding a High School Diploma. A strong foundation in programming logic is beneficial. Proof of English proficiency, such as IELTS or TOEFL scores, is also required.
International students apply through the METU Northern Cyprus Campus online application portal. You will need to create an account, complete the application form, upload required documents like your diploma and proof of English proficiency, and submit your application before the deadline.
Yes, several scholarships may be available, including merit-based tuition fee discounts, financial aid from the METU Development Foundation, and limited meal or dormitory scholarships for international students.
The skills gained are transferable to roles such as Software Developer, AI Researcher, Logic Programmer, Systems Analyst, and Database Developer, focusing on theoretical and practical aspects of meta-interpreters in Prolog.