The Power of Prolog