starvator / efsm-assignment-soen331

Assignment 3 for soen331 on Extended Finite State Machines

efsm-assignment-soen331

Assignment 3 for soen331 on Extended Finite State Machines (Git is part of the assignment requirements)

For this assignment, we used SWI Prolog (swipl).

Completed by Tyler Ramsay #26948065 & Dionysios Kefallinos #27019920