Add B-Prolog solution and test for 2012/Round 1C/A. Diamond Inheritance.