正規表現「regexp」が「文字列(string)」を受け入れるかどうか調べます。
match/2は、正規表現regexpがstring(文字列）を受け入れるかどうか調べます。
マッチ/3は、正規表現regexpがstringを受け入れるかどうか調べます。 括弧に入れられた表現における文字列の一部分は、matchlistの中で順序を保って帰されます。
regexp アトム string アトム matchlist リスト
match('(%d+)', 'one123four', L) => L = ['123']
match('(.*)a', barbara, L) => L = [barbar]
match('(.*?)a', barbara, L) => L = [b]
この述語は、ISO-Prolog Standardの要件ではありません。