Discrete Mathematics YMT211 · Fall 2026 Assoc. Prof. Ferhat Uçar

>_ Lab 5 · Week 6 · Monday, October 26, 2026

A Tiny Inference Engine

Implement forward chaining with modus ponens, then use it to answer questions from a rule base.

Preview · this lab opens in week 6

week
6 · Mon, Oct 26
due
Fri, Oct 30 · 23:59
assignment
lab05
points
100 (autograded)
time
75 min
files you edit
inference.py