Prolog* Plus Trademark Details