Students who successfully complete this curricular unit be should be able to:

1. Explain the essential mechanisms of the algorithms for automatic deduction based on resolution;
2. Explain the essential mechanisms of the execution systems that support the Prolog language;
3. Create, test and correct Prolog programs;
4. Use the fundamental aspects of the non-deterministic programming;
5. Write reports where they justify the decisions they make.

Curricular Unit Form