Students who complete this unit will demonstrate that they can:
- Describe and explain the use of first-order logic for
knowledge representation and reasoning.
- Apply resolution to a set of logic statements to answer a
query.
- Design and implement basic programs in Prolog.