Consider the following rules/facts: tigers eat slow herbivores anything that eats a plant is a herbivore molasses is a s

[answerhappygod]

Consider the following rules/facts:
tigers eat slow herbivores
anything that eats a plant is a herbivore
molasses is a syrup
molasses is slow
stripy is a tiger
my_lawn is a plant
fluffy is a lamb
fluffy is slow
fluffy eats molasses
fluffy eats my_lawn
Write the above rules/facts as a FOL Knowledge Base
Encode the Knowledge Base in Prolog (call the file
tiger_lamb.pl and attach it to the question) and use 'trace'
to show that "stripy eats fluffy" is true, and requires
backtracking.