Logic Inference using Backward Chaining

AI agent implementing backward chaining for an Expert System. Makefile
and the problem description is also attached.