This course shall deal with the theoretical and practical aspects of building a system that can model, reason, and infer knowledge for artificial intelligence.
It will cover an understanding of:

• the semantics of first-order logic for modeling problems
• transformations to clausal form, resolution, etc. to establish properties of first-order problems
• with automated theorem provers
• work with declarative logic programming languages like Datalog and prolog.
• apply different knowledge representation formalisms for modeling knowledge bases.
• apply, demonstrate, and program knowledge-based learning methods.
• https://en.wikipedia.org/wiki/Inductive_logic_programming