A Monte Hall implementation in Prolog for ECE 352