Logic Programming (COMPE 423) Course Details

Course Name: Logic Programming
Code: COMPE 423
Pre-requisite Course(s):
Objective: The objective of this course is to teach different logic programming concepts via programming practices realized by using different logic programming languages. The students will be able to compare how different logic programming concepts are handled in different type of languages. The students get a chance to apply their knowledge by completing homework assignments written in example logic programming languages.
Content: Lisp Programming: Symbolic expressions. Elementary functions. Lambda notation. Forms. Functions. List structures. Prolog programming: Facts. Rules. Relationships. Data structures. Backtracking. Input/Output. Built-in predicates.
Term: Autumn
Theory: 3
Application: 0
Laboratory: 0
Credit: 3
ECTS Course File: Course File
Course File: