PlayWithString.scala

object PlayWithString {

  def isMatching(pat: String)(str: String): Boolean =
    /*
     -- termination --
     */
    if (pat == "*" || (pat.isEmpty && str.isEmpty)) true
    else if ((pat.isEmpty && !str.isEmpty) || (str.isEmpty)) false
    /*
     -- induction --
     */
    else if (pat startsWith "*")
      if (isMatching(pat.tail)(str)) true
      else isMatching(pat)(str.tail)
    else if (pat startsWith "?") isMatching(pat.tail)(str.tail)
    else (str startsWith pat.head.toString) && isMatching(pat.tail)(str.tail)

}