A few prolog attempts