<div class="notebook">

<div class="nb-cell program" data-background="true" name="p1">
:- include('String pattern overlap matching').
</div>

<div class="nb-cell query" name="q1">
double_string_match("Shakes*e", "S*speare", R).
</div>

<div class="nb-cell query" name="q2">
double_string_match("a*baa**ba**aa", "*ca*b**a*baac", R).
</div>

<div class="nb-cell query" name="q3">
double_string_match(
"dnKeeuCCyHOnobnDYMGoXDdNWhTsaoedbPifJ*ki*wWfXjIUwqItTmGqtAItoNWpDeUnNCWgZsKWbuQxKaqemXuFXDylQubuZWhMyDsXvDSwYjui*LviGAEkyQbtR*cELfxiAbbYyJRGtcsoJZppINgJGYeZKGeWLbenBEKaoCgheYwOxLeFZJPGhTFRAjNn*",
"d*eeuCCyHOnobnDYMGoXDdNWhTsaoedbP*ijrwWfXjIUwqItTmGqtAItoNWpDeUnNCWgZs*WbuQxKaqemXuFXDylQubuZWhMyDsXvDSwYjuijkLviGAEkyQbtRUsncELfxiAbbYyJRG*soJZppINgJGYeZKGeWLbenBEKaoCghe*YwOxLeFZJPGhTFRAjNn",
R).
</div>

</div>