
match(+Pattern, +String, +Options, -Match)

   Match is the first substring of String that matches the regular expression Pattern

Arguments
   Pattern             A string (or a compiled pattern handle)
   String              A string
   Options             List of atoms
   Match               Output: a string

Type
   library(regex)

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
