Prolog examples