Page Preview: 64

Course Title[Course Code]:Formal Languages & Automata[CSC 341]

Faculty: Computers and Artificial Intelligence
Department: Artificial Intelligence
Program: Computers System
Compulsory / Elective:Compulsory
Undergraduate(Third Year-First Semester)
Lecture:( 3 ) Practical / Clinical:( - ) Tutorial:( 2 )

Course Description:
The course aims at introducing the Introduction: Facts, objects, and Predicates: Expressing facts, turbo prolog objects. Prolog variables: Using variables, bound and free variables, anonymous variables, compound goals, backtracking, variable rules. Using rules: Rules, variables in rules, prolog execution rules, using the trace, unification, execution control, the built-in predicate. Simple input and output. Controlling execution: Success through failure; the fail predicate, exclusion using the fail predicate, recursion, and the cut. Arithmetic operations. Compound objects Dynamic database. Lists. String operations.