Logic Programming for Artificial Intelligence

3 credits

This course considers the use of logic programming in Artificial Intelligence. Topics include using logic programming for traditonal tasks such as search, learning and game playing. A major component of the course will be the creation of a logic program to solve a nontrivial artificial intelligence task.