My experiments with Prolog