This unit embodies the following main aims:
Introduce logic as the study of valid argumentation.
Present the syntax and semantics of logic languages (propositional and predicate calculus) and associated proof methods..
Explain the relationship between logic and logic programming.
Provide a practical introduction to a logic programming language