I need a simple back-chaining procedure program about horn logic and examples to test it. Any language accepted but python perl and prolog preferred. Specifications and related knowledge are attached.
The requirements is in the specifications.png The other two pdf is for knowledge reference. I need this project to be completed ASAP. Cheers.