prolog experiment