symonjorystevens-guille / regex

Regular expressions for Prolog

Synopsis

:- use_module(library(regex)).
?- '99 Bottles of Beer' =~ '[0-9]+ bottles'/i.
true.

Description

Regular expression support for Prolog.

When Prologers want to match a string against a pattern, they typically write a DCG. DCGs are powerful and flexible. For medium to large patterns, they are also easier to read and maintain. However, for small and local patterns the overhead of writing and naming auxiliary predicates can be too much. In those circumstances, one might prefer a regular expression. This pack makes it possible.

The =~ operator matches a string (on the left side) against a regular expression (on the right side). Either side can be an atom or a list of codes. The \~ operator succeeds if the string does not match the pattern.

Syntax Reference

This section lists the regular expression syntax accepted by library(regex). Syntax not listed here is not yet supported. Patches welcome.

Single characters

• . - any character, including newline
• [xyz] - character class
• [^xyz] - negated character class
• \d - Perl character class
• \D - negated Perl character class

Composites

• xy - x followed by y
• x|y - x or y (prefer x)

Repetitions

• x* - zero or more x, prefer more
• x+ - one or more x, prefer more
• x? - zero or one x, prefer one
• x{n,m} - n or n+1 or ... or m x, prefer more
• x{n,} - n or more x, prefer more
• x{n} - exactly n x

Grouping

• (re) - numbered capturing group
• (?<name>re) - named & numbered capturing group

Flags

• i - case-insensitive (default false)
• s - let . match \n (default false)

Empty strings

• ^ - at start of text
• $ - at end of text

Character class elements

• x - single character
• A-Z - character range (inclusive)

Perl character classes

• \d - digits (same as [0-9])
• \D - not digits (same as [^0-9])
• \s - whitespace (same as [\t\n\f\r ])
• \S - not whitespace (same as [^\t\n\f\r ])
• \w - word characters (same as [0-9A-Za-z_])
• \W - not word characters (same as [^0-9A-Za-z_])

Acknowledgements

Rob Cameron for his lecture notes on which the original implementation was based.

Installation

Using SWI-Prolog 6.3 or later:

?- pack_install(regex).

This module uses semantic versioning.

Source code available and pull requests accepted at http://github.com/mndrix/regex