Notes

• Syllabus
• Logic programming with Prolog
  • Prolog unification
  • Prolog resolution
  • Prolog examples

Assignments

• A01: Prolog Pokédex
  due Aug 30, 11:59pm

CSCI 431 material by Joshua Eckroth is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License. Source code for this website available at GitHub.