Steve Huff found an error in my demo file: I suggested that you try
prey(bear,fox).
when prey cannot be overloaded (it's defined to take a single argument).
Problems from section 1.5 homework:
on board: ?? Any requests??
What happens if eat(fish,bear)? Trace execution of
in-food-chain(bear,X). (Demo file for SWI-Prolog using text Example 39,
p. 64, and adding the statement "eat(fish,bear)".)