Logic Programming

Tuesday 11:00 AM 
 

Logic programming is a programming paradigm based on formal logic. A program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, Answer set programming (ASP) and Datalog. 

This introductory course covers the following topics:
  • Logical foundations. Introduction to Prolog programming.
  • Questions, variables, conjunctions, rules, goals.
  • Prolog syntax. Characters, operators, equality and matching, arithmetic.
  • Using data structures. Programming techniques on Prolog (Mapping, recursion, accumulators, difference structures).
  • Backtracking, generating multiple solutions, the cut.
  • Selected examples.
  • Unification, computational model of logic programs.
  • Constraint logic programming.
  • Grammar rules (DCG).

Level: 3rd, CS
Place: Hall 5
Credit: 2 Hours 

Lab Instructor: Amira Al-Eif ( mailto:amiraeleff86@gmail.com )

Grading:
Total=80 ( Written Exam=50, Oral&Lab.=15, Tests=15)
Textbook:
Picture
Programming in Prolog 5th ed. (William Clocksin and Christopher S. Mellish)

Date



​​
 
 
 
 
 
 
​​
 
 
 

Lecture

 Lecture 1
​
​
Lecture 1 cont.
Lecture 2
Lecture 2 cont.
Lecture 3
Lecture 3 cont.
Lecture 4 

Lecture 4 cont.
Lecture 4 cont.
 
Online
 Watch
​
​
Watch
Watch
Watch
Watch
Watch
Watch

Watch
Watch
 

Assignment

* Course Project
* Bonus

​Assignment 1
Assignment 2
Assignment 3
Assignment 4
Assignment 5
Assignment 6
​
Assignment 7
General Exercises
 

Supplementary 

* SWI-Prolog
​* SWI-Editor
​
 
 
 
 
 
 

 
* Lecture Code
 
 Course Harvest