Experiments with prolog