Logic an AI (Coursework)