Prolog for Science Researcher Course


Dr. Qais Yousef

Ph.D. in Computer Engineering/ Industrial Automation Systems and Swarm Intelligence

Mobile: +962-795037290



Course Details:  

  • Overview

This course is for researchers and model developers to enrich them with comprehensive knowledge that allow them to be able to work with models, deign them and analyze them. Each student will be worked with individually to start producing a respected project.

  • Total Time  

30 Hours –10 Sessions, around 3 hours long each.  

Workshop Sessions:

  •  This comprehensive course will be covered over 10 sessions as detailed below:

1. Syntax, basic tools

2. Facts, unification, queries

3. Debugger

4. Rules

5. Built-in Predicates

6. Logic variables, glimpse of internals

7. Recursion

8. Performance

9. List utilities

10. Operators

11. Dynamic database

12. Cut

13. Catch/throw

14. Representing and Deploying Knowledge

15. Prolog as a meta language for modelling knowledge and reasoning

16. Search, state space puzzles

17. Object oriented programming

18. Building a frame system

19. Ontologies

20. Building rule engines, forward chaining, backward chaining

21. Grammars (DCG), XML, bill of material processing

22. Language translation

23. Fuzzy logic

24. Bayesian belief networks

25. Chatbots


  • A complete project will be assigned for students in each session, (aside from the class-shared projects) to work on at home, and is required to submit it at the beginning of every session starting from the 2nd session. The submitted assignments will be discussed in the next session with each student individually.
  • Questions and discussions are highly encouraged during class.


  • Each student MUST bring in a laptop with Windows OS installed on to every class session.  

​​​Prepared by: ATIT Academy