Use examples of the other prolog.net implementation.