The following discussion assumes that you are familiar with the syntax of regular expressions and have a reasonably good idea about their capabilities. One easily accessible description of POSIX regular expressions is found in the on-line Emacs manual.
The regular expression matching functionality is provided by the package called Regmatch. To use it interactively, type:
:- [regmatch].
If you are planning to use pattern matching from within an XSB program, then you need to include the following directive:
:- import re_match/5, re_bulkmatch/5, re_substitute/4, re_substring/4, re_charlist_to_string/2 from regmatch.