General description
This course aims to enable students to create ideas for practical applications in logic programming by analyzing logical concepts in abstract mode. It also strengthen students specialized skills for formulating solutions to well-defined and abstract problems, as well as practical problems, by collecting expert database and placing it within a programming structure by using a logical programming language. We have adopted Prologue language so that it can be employed later to obtain new and important inferences based on several defined rules.