OptionsString to manage options in prolog predicates.
Use new OptionsString to manage options in predicates.
Comment