Prolog example added.