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:
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:[email protected] ) Grading: Total=80 ( Written Exam=50, Oral&Lab.=15, Tests=15) |
Textbook:
|
Date |
LectureLecture 1 cont.
Lecture 2 cont.
Lecture 3 cont.
Lecture 4 cont.
Lecture 4 cont.
|
Online
Watch
|
Assignment |
Supplementary |
Course Harvest