Type and mode checking in prolog (part 2): mavis — As we discussed in Part 1 of this short series on types in prolog, prolog has a rather graceful but silent method of reacting to a certain bugs. The exploitation of non-determinism can be extremely...