[ library(regex) | Reference Manual | Alphabetic Index ]
match(+Pattern, +String, +Options, -Match)
Match is the first substring of String that matches the regular expression Pattern
- Pattern
- A string (or a compiled pattern handle)
- String
- A string
- Options
- List of atoms
- Match
- Output: a string
Description
Succeeds if all or a substring of String matches the regular
expression Pattern. For the description of regular expressions
see the library(regex) page.
Options is a (possibly empty) list of atomic option names,
as described in the library(regex) page.
Match is bound to the first substring of String which matches
Pattern.
Note that this predicate does not return any information about
matching (parenthesised) sub-expressions!
Modes and Determinism
- match(+, +, +, -) is semidet
Fail Conditions
String does not match Pattern
Examples
?- match("<[a-z]+>", "Text with <HTML> tags", [icase], M).
M = "<HTML>"
Yes
See Also
library(regex), match / 2, match / 3, matchsub / 4, matchall / 4, compile_pattern / 3