SWI-Prolog -- dwim_match/2

Documentation
- Reference manual
  - Built-in Predicates
    - Miscellaneous
- Packages

Availability:built-in

Source

dwim_match(+Atom1, +Atom2)

True if Atom1 matches Atom2 in the `Do What I Mean' sense. Both Atom1 and Atom2 may also be integers or floats. The two atoms match if:

They are identical
They differ by one character (spy == spu)
One character is inserted/deleted (debug == deug)
Two characters are transposed (trace == tarce)
`Sub-words' are glued differently (existsfile == existsFile == exists_file)
Two adjacent sub-words are transposed (existsFile == fileExists)