Ahmed Sallam
  • Home
  • Puplications
    • Google Scholar
    • Research Gate
  • CV
    • Printable PDF file
    • Closer >
      • Blog
      • Stream
      • YouTube Channel
    • LinkedIn
  • Keynotes
  • Activites
    • IBM TOT summer 2017
    • Summer Training 2017
    • IBM Cloud course spring 2017
    • FCI Infrastructure
    • Logo Contest
    • IBM Summer Camp 2015
    • IBM Summer Camp 2016
  • Courses
  • G Projects
    • Resources
    • Projects
  • Useful
    • Source Code
    • Mobile Apps
    • How to start your research? (Video)
    • Suez Canal University
    • Hunan University
    • Scholarships information
    • الحج من الخارج
    • Hajj from Abroad
  • +Feeds

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
Powered by Create your own unique website with customizable templates.