Students who complete this unit will demonstrate that they can:

• Describe and explain the use of predicate logic for knowledge representation and reasoning.
• Describe and explain the use of first-order logic for knowledge representation and reasoning.
• Translate a natural language sentence into predicate logic statement.
• Convert a logic statement into clause form.
• Apply resolution to a set of logic statements to answer a query.
• Design and implement basic programs in Prolog.