Mixed Prolog examples.