File:Prolog programming technique hierarchy.png